Monads for functional programming. Advanced Functional Programming (1995)

by P Wadler