Exceptions as shared secrets, demonstrated

Robert Harper’s “Exceptions Are Shared Secrets” is an intriguing blog post, but it may come as a bit abstract unless you’re already familiar with the idea of accidental exception (or more generally, effect) handling, as the post has no code. In this post I want to give an example of the problems mentioned in the original post, and say a few words on how we might go about working around or fixing…