ghc/tests/typecheck/should_fail/tcfail032.stderr

   1
   2 tcfail032.hs:14: A type signature is more polymorphic than the inferred type
   3                      Some type variables in the inferred type can't be forall'd, namely:
   4                      `taAx'
   5                      Possible cause: the RHS mentions something subject to the monomorphism restriction
   6     In an expression with a type signature:
   7         `x :: _forall_ [a] (PrelBase.Eq a) => a -> PrelBase.Int'
   8
   9
  10 Compilation had errors