Can i recommend you to take a look at effect handlers languages? It is not mainstream but it may prove useful for your thinking here. Effekt or Ocaml 5.0 new e

Can i recommend you to take a look at effect handlers languages? It is not mainstream but it may prove useful for your thinking here. Effekt or Ocaml 5.0 new events handler system may help get ideas that help you achieve your goal here.