Eq and generic equality