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