ghc/tests/typecheck/should_fail/tcfail065.stderr

   1
   2 <NoSrcLoc>: 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                 `taHR'
   5                 Possible cause: the RHS mentions something subject to the monomorphism restriction
   6     When checking signature for `setX'
   7
   8
   9 Compilation had errors