Related prior work

Have a look at continuation marks in Racket (previously MzScheme), which are used in practice for many kinds of things including dynamic thread-local binding (we call them "parameters", a bit unfortunately). Example reference:
https://www-old.cs.utah.edu/plt/publications/icfp07-fyff.pdf
https://youtu.be/PiBpCmWq8yQ