To plug my own solution, my effect system Bluefin makes exceptions visible in the type, well-scoped, and also freely composable with all other effects: https:/

To plug my own solution, my effect system Bluefin makes exceptions visible in the type, well-scoped, and also freely composable with all other effects: https://hackage.haskell.org/package/bluefin-0.0.3.0/docs/Bluefin-Exception.html https://hackage.haskell.org/package/bluefin-0.0.3.0/docs/Blu...