- It is mentioned in the environment
- The following variables in the environment mention `res'
- cont :: a -> m res
+ It unifies with `res1', which is mentioned in the environment
+ The following variables in the environment mention `res1'
+ cont :: a -> m res1
When checking an expression type signature
In the first argument of `KContT', namely `(\ cont' -> cont a)'
In the right-hand side of a lambda abstraction:
KContT (\ cont' -> cont a)
When checking an expression type signature
In the first argument of `KContT', namely `(\ cont' -> cont a)'
In the right-hand side of a lambda abstraction:
KContT (\ cont' -> cont a)