Captures the continuation up to the nearest enclosing resetT, and passes it to computation.
resetT
computation
The instance of Monad for M.
Monad
M
The limited continuation.
Captures the continuation up to the nearest enclosing
resetT, and passes it tocomputation.