Executes the state computation and returns the final state.
The instance of Monad for M.
Monad
M
The execution of the computation.
Executes the state computation and returns the final state.