The marriage of effects and monads. (unpublished manuscript (0)

by P Wadler