ghc/tests/typecheck/should_fail/tcfail076.stderr

   1
   2 tcfail076.hs:20:
   3     A type signature is more polymorphic than the inferred type
   4         Can't for-all the type variable(s) `aGU'
   5         in the type `(aGQ -> aGO aGU) -> aGO aGU'
   6         In a polymorphic function argument: (\ cont' -> cont a)
   7         In the first argument of `KContT', namely `(\ cont' -> cont a)'
   8         In the first argument of `f', namely
   9             `(\ a -> KContT (\ cont' -> cont a))'
  10
  11
  12 Compilation had errors