Codepaths that can produce errors are just a monad. Separate this code from the rest and you have a solution for the problem. It’s Haskell’s do all over again

Codepaths that can produce errors are just a monad. Separate this code from the rest and you have a solution for the problem. It’s Haskell’s do all over again and pure vs impure.