ghc/compiler/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                      `a{-aG1-}'
   5                      Possible cause: the RHS mentions something subject to the monomorphism restriction
   6     In an expression with a type signature:
   7         `x ::
   8            _forall_ [a] {PrelBase.Eq a} => a -> PrelBase.Int'
   9
  10
  11 Compilation had errors