よく判ってないけど、副作用が起きるのは諦めて、
入力を入れ替え続けると解釈することで矛盾の無い形で
実現してみましたって感じ？
CPSで関数が戻らないことを利用して関数の引数を更新し続けるような。