Comprehending monads. (1990)

by P Wadler
Venue:In Proceedings of Symposium on Lisp and Functional Programming,