Philip Wadler The Marriage of Effects and Monads. 63-74 1998 ICFP http://doi.acm.org/10.1145/289423.289429 db/conf/icfp/icfp98.html#Wadler98