Evaluates the state computation and returns the final result.
The instance of Monad for M.
Monad
M
The evaluation of the computation.
Evaluates the state computation and returns the final result.