Altenkirch, T.; Chapman, J.; Uustalu, T. Relative Monads Formalised. JFR 2014, 7, 1-43.