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