Control.Monad.Writer.Class
class MonadWriter w m