Altenkirch, Thorsten, James Chapman, and Tarmo Uustalu. “Relative Monads Formalised”. Journal of Formalized Reasoning 7, no. 1 (January 1, 2014): 1–43. Accessed April 2, 2025. https://jfr.unibo.it/article/view/4389.