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
   5         It is mentioned in the environment
   6         The following variables in the environment mention `a'
   7           x :: a -> Int
   8     Signature type:     forall a. (Eq a) => a -> Int
   9     Type to generalise: a -> Int
  10     When checking an expression type signature
  11     In an expression with a type signature:
  12           x :: forall a. (Eq a) => a -> Int