Something similar can be achieved by using explicitly named continuations, though they carry more overhead in the happy path than exceptions (but are far cheaper to throw and catch!)

https://gitlab.com/xmdr/ananke/-/blob/master/drafts/notes/co...