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