Creates a computation that sets the new state in the monad.
The new state value.
The computation which sets the new state.
Creates a computation that sets the new state in the monad.