ghc/tests/typecheck/should_fail/tcfail032.stderr

   1
   2 tcfail032.hs:14:
   3     A type signature is more polymorphic than the inferred type
   4         Can't for-all the type variable(s) `a'
   5         in the type `a -> Int'
   6         In an expression with a type signature:
   7               x :: _forall_ [a] (PrelBase.Eq a) => a -> Int
   8
   9
  10 Compilation had errors