ghc/tests/typecheck/should_fail/tcfail065.stderr

   1
   2 tcfail065.hs:29:
   3     A type signature is more polymorphic than the inferred type
   4         Can't for-all the type variable(s) `aT2'
   5         in the type `aT2 -> X x -> X x'
   6     When checking the type signature for `setX'
   7     In the definition for method `setX'
   8
   9
  10 Compilation had errors