Monad transformers aren’t exceedingly mathematically pleasant. However, we can get nice (co)products from free monads, and, more generally, ideal monads: See Ghani and Uustalu’s “Coproducts of Ideal Monads”: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.2698