Evaluates the computation with the identity from R to R.
R
The instance of Monad for M.
Monad
M
The final continuation.
Generated using TypeDoc
Evaluates the computation with the identity from
R
toR
.