-- is not ok
instance ( Eq h) => Eq h

-- is ok
instance ( Eq h, Eq h) => Eq h