String diagrams for free monads (functional pearl)

Maciej Piróg, Nicolas Wu
2016 SIGPLAN notices  
General rights This document is made available in accordance with publisher policies. Please cite only the published version using the reference above. Full terms of use are available: Abstract 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.
doi:10.1145/3022670.2951947 fatcat:oxckyyqapnc7vmhnuatu2nyv34