Composing Monads (1993)

by Mark P. Jones, Luc Duponcheel