3 Inferred type is less polymorphic than expected
4 Quantified type variable `res' escapes
5 It is mentioned in the environment
6 The following variables in the environment mention `res'
8 In an expression with expected type:
9 forall res1. (a1 -> m1 res1) -> m1 res1
10 In the first argument of `KContT', namely `(\ cont' -> cont a)'
11 In the right-hand side of a lambda abstraction:
12 KContT (\ cont' -> cont a)
14 Compilation had errors