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
   5         It unifies with `res1', which is mentioned in the environment
   6         The following variables in the environment mention `res1'
   7           cont :: a -> m res1
   8     Signature type:     forall res. (a1 -> m1 res) -> m1 res
   9     Type to generalise: (b -> m res1) -> m res1
  10     When checking an expression type signature
  11     In the first argument of `KContT', namely `(\ cont' -> cont a)'
  12     In the right-hand side of a lambda abstraction:
  13         KContT (\ cont' -> cont a)