[Haskell-cafe] Best way to implement "scoped exceptions"?

[Dan Dart]

Sounds to me a bit like CPS - so maybe something like callCC:
https://hackage.haskell.org/package/transformers-0.6.0.4/docs/Control-Monad-Trans-Cont.html#v:callCC