String diagrams for free monads (functional pearl)
Maciej Piróg, Nicolas Wu · 2016
We show how one can reason about free monads using their universal properties rather than any concrete implementation. We introduce a graphical, two-dimensional calculus tailor-made to accommodate these properties.