Once you are using monads you are now doing the thing that person hates, though: removing the control flow from the code (as it got moved into the monad); reall

Once you are using monads you are now doing the thing that person hates, though: removing the control flow from the code (as it got moved into the monad); really the syntax for exceptions is nothing more than a hardcoded-into-the-language error monad.