Continuation monad.