The marriage of e ects and monads. (unpublished manuscript (0)

by P Wadler