Combining monads. Pages 134–143 (1993)

by David J King, Philip Wadler