testsuite/tests/typecheck/should_fail/tcfail097.stderr

   1
   2 tcfail097.hs:5:6:
   3     Ambiguous constraint `Eq a'
   4       At least one of the forall'd type variables mentioned by the constraint
   5       must be reachable from the type after the '=>'
   6     In the type signature for `f': f :: Eq a => Int -> Int