You must understand the semantics of the monad you are operating in, but both cases are still handled in the do-notation version.