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/Blu...