ghc/tests/typecheck/should_fail/tcfail065.stderr

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