Altenkirch, Thorsten, Chapman, James, Uustalu, Tarmo, "Relative monads formalised", Journal of Formalized Reasoning, 2014