This is analogous to the shift and reset operators from delimited continuations. It's also analogous to branching and cancelation from Chu spaces or the idea of adjoint and norm.

I've been thinking about this a bunch. I put together a brain dump that I improve over time

http://github.com/adamnemecek/adjoint.