How to compose monads (1993)

by G L Steele