In Category Theory and functional programming, this would b…

In Category Theory and functional programming, this would be called the Continuation Monad but with the added property of having a cryptographic link between continuations.
https://twetch.app/t/5de59821d4f294c3de1b314e661d29abe3e8eeeae11b92c7d6b7b0937a1e8c15