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