Comprehending monads (1990)

by P Wadler
Venue:In ACM Conference on Lisp and Functional Programming