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