Control.Monad.Writer.Lazy
data
Writer
w a
execWriter
mapWriter
data
WriterT
w m a
execWriterT
mapWriterT