"Unifying graded and parameterised monads."

Dominic Orchard, Philip Wadler, Harley Eades III (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics