foo :: (Eq) (Int) => Int
foo = undefined