"String diagrams for free monads (functional pearl)."

Maciej Piróg, Nicolas Wu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics