Monad Transformers as Monoid Transformers