Control.Monad.Writer.Lazy
data Writer w a
data WriterT w m a