The Writer Type from Control.Monad.Writer
The Writer Monad instance from Control.Monad.Writer