ghc/tests/typecheck/should_fail/tcfail032.stderr

   1
   2 tcfail032.hs:14:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `a' escapes; i.e. unifies with something more global
   5     When checking the type signature for an expression
   6         Signature: a -> Int
   7         Inferred:  a -> Int
   8     In an expression with a type signature:
   9           x :: forall a. (PrelBase.Eq a) => a -> Int
  10
  11
  12 Compilation had errors