Hacker News new | ask | show | jobs
by tel 4646 days ago
I always think of Control.Exception as the poster child for open unions.
1 comments

Perfect, since exceptions are a subset of effects! Check out http://math.andrej.com/eff/ and its literature.