Comment by uhura

But then, how could you guarantee type safety?

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