foo :: Eq Int => Int
foo = undefined