Yes, this is a monad tutorial. It's concrete and specific and doesn't attempt to generalize, but it's explaining an application of monads. And yes, the approac

Yes, this is a monad tutorial. It's concrete and specific and doesn't attempt to generalize, but it's explaining an application of monads. And yes, the approach described, if followed naively and robotically, reinvents a clumsy kind of checked exceptions. As another comment https://news.ycombinator.com/item?id=37173435 https://news.ycombinator.com/item?id=37173435 points out, after learning and before serious application, it should be leavened with caveats: https://fsharpforfunandprofit.com/posts/against-railway-oriented-programming/ https://fsharpforfunandprofit.com/posts/against-railway-orie...