If you like that idea you might like my library Bluefin, where even throwing exceptions requires an explicit value telling you where control will return to. ht

If you like that idea you might like my library Bluefin, where even throwing exceptions requires an explicit value telling you where control will return to. https://hackage.haskell.org/package/bluefin https://hackage.haskell.org/package/bluefin