Wraps the item of T as a WriterT<W, M, T> over monoid W.
T
WriterT<W, M, T>
W
The Monoid instance for W.
Monoid
The Pure instance for M.
Pure
M
The wrapped one.
Wraps the item of
Tas aWriterT<W, M, T>over monoidW.