-tcfail076.hs:20:
- A type signature is more polymorphic than the inferred type
- Can't for-all the type variable(s) `aO3'
- in the type `(aNZ -> aNX aO3) -> aNX aO3'
+tcfail076.hs:18:
+ Inferred type is less polymorphic than expected
+ Quantified type variable `res' escapes
+ It unifies with `_114_101_115', which is mentioned in the environment
+ The following variables in the environment mention `_114_101_115'
+ cont :: a -> m _114_101_115
+ In an expression with expected type: forall
+ _114_101_1151.
+ (_97 -> m _114_101_1151) -> m _114_101_1151