The marriage of effects and monads (2003)

by P Wadler, P Thiemann
Venue:Transactions on Computational Logic