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