The Marriage of Effects and Monads