ghc/tests/typecheck/should_fail/tcfail076.stderr

   1
   2 tcfail076.hs:18:
   3     Inferred type is less polymorphic than expected
   4         Quantified type variable `res' escapes; i.e. unifies with something more global
   5     When checking the type signature for an expression
   6         Signature: (a -> m res1) -> m res1
   7         Inferred:  (a -> m res) -> m res
   8     In the first argument of `KContT', namely `(\ cont' -> cont a)'
   9     In the right-hand side of a lambda abstraction:
  10         KContT (\ cont' -> cont a)
  11
  12
  13 Compilation had errors