The Semantic Marriage of Monads and Effects