[uhura]

But then, how could you guarantee type safety?

This yield is not an object, it is handling the execution context to another stack.

[gpderetta]

It is a delimited one-shot continuation. Delimited continuations are first class objects like any other and it should be possible to close over them.