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