Creates an action which passes a function to the state returned from the computation writer.
writer
The instance of Monad for M.
Monad
M
The computation with a passed state.
Creates an action which passes a function to the state returned from the computation
writer.