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