Notes on Monads and Ringads (1990)

by P L Wadler