A graphical approach to monad compositions
Patrik Eklund, M.A. Galán, Jesús Medina, Manuel Ojeda‐Aciego, Agustín Valverde · Electronic Notes in Theoretical Computer Science · 2001
In this paper we show how composite expressions involving natural transformations can be pictorially represented in order to provide graphical proof support for providing monad compositions. Examples are drawn using powerset monads composed with the term monad.