monoid-transformer

Monoid transformers: State, Reader There is no Writer transformer. It's vice versa: The Writer monad transforms a monoid to a monad.