OS から コールバック A が呼ばれ、そこで継続 ContA を作成して、 トップレベルに束縛したとします。 次に、OS から別のコールバック B が呼ばれ、そこから ContA を呼び出すとします。 ContA を呼び出した直後は別に問題は発生しませんよね。 問題は、ContA を呼び出し後に、コールバック A から呼び出し側に戻って しまうことが問題なのですよね。
であれば、コールバック A から OS 側に戻ろうとする直前に、 あたかも、コールバック B から戻ったように見せかけることができれば、 いい感じがしませんか?