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