Altenkirch, Thorsten, James Chapman, and Tarmo Uustalu. 2014. “Relative Monads Formalised”. Journal of Formalized Reasoning 7 (1):1-43. https://doi.org/10.6092/issn.1972-5787/4389.