Creates an action which returns the new state w.
w
The new state to tell.
The empty computation which returns the new state.
Creates an action which returns the new state
w.