call/ccが引数に渡す継続手続きは普通の手続きとは違う。
末尾コンテキスト以外で呼び出しても
あたかも末尾呼び出しされたかのように返ってこない。
これさえなければ参照透明性を侵さないと思うのですが。
末尾コンテキスト以外での継続の呼び出しなんてトリッキーなんだから
普通の手続きとして実装すればいいのに。