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