I have a question. How proposed solution can solve problem with exceptional control flow? Monadic approach skips calculations under the cover and one need to tr

I have a question. How proposed solution can solve problem with exceptional control flow? Monadic approach skips calculations under the cover and one need to track branching in his head.