T. Altenkirch, J. Chapman, and T. Uustalu, “Relative Monads Formalised”, JFR, vol. 7, no. 1, pp. 1–43, Jan. 2014.