The_marriage_of_effects_and_monads