Maps and flattens the Writer<W, M, T> with the computation over monoid W and monad M.
Writer<W, M, T>
W
M
The Monoid instance for W.
Monoid
The Monad instance for M.
Monad
The computed one.
Maps and flattens the
Writer<W, M, T>with the computation over monoidWand monadM.