OCaml 5 essentially has it, as "effect handlers". It's how lightweight concurrency is implementated.