Maps the WriterT<W, M, T> into WriterT<W, M, U> over functor M.
WriterT<W, M, T>
WriterT<W, M, U>
M
The Functor instance for M.
Functor
The mapped one.
Maps the
WriterT<W, M, T>intoWriterT<W, M, U>over functorM.