> something an exception system does for you for free. That's the point, it doesn't, you pay for the exception system and the implicitness that comes with it.

> something an exception system does for you for free. That's the point, it doesn't, you pay for the exception system and the implicitness that comes with it. Your comment portrays exceptions as the default that monadic errors are playing catch-up with. I could easily do the reverse. > is a workaround to make it less of a pain. You say workaround, I say feature. Ultimately, monadic errors and exceptions have tradeoffs. Like I said, given any tradeoff between feature A and feature B, you can always say "subfeature X of A exists because we don't have B". It's not a meaningful thing to say. I didn't avoid an answer, I genuinely think that your comment has no substance to it because it pretends that exceptions are a "default" system.