Universal monad transformer for all monads?
The 2002 paper “Composing monads using coproducts” seems to describe the following type construction:
The 2002 paper “Composing monads using coproducts” seems to describe the following type construction: