Comprehending monads (1990)

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