instance (Eq h) => Eq h

instance (Eq h, Eq h) => Eq h