class Eq a where
  (==) :: a -> a -> Bool
 
instance Eq Int where
  (==) x y = x `Prelude.eqInt` y