Monad compositions. I: General constructions and recursive distributive laws. Manes, Ernie, Mulry, Philip (2007) Theory and Applications of Categories [electronic only]