Used to implement Algebraic Structure. class Eq a where (==) :: a -> a -> Bool instance Eq Int where (==) x y = x `Prelude.eqInt` y