Hinze, R., & Marsden, D. (2025). The graphical theory of monads. Journal of Functional Programming, 35, Article e11. https://doi.org/10.1017/S095679682500005X