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