Notions of Computation as Monoids ( extended version )
Modular monad transformers