引数が束縛されたときの挙動がわかりにくかったかも知れませんが、次のように考えると少しはわかりが良いかも知れません。変えて、全体をλ抽象とする。このλ抽象を、継続を束縛したものだと思うことにする。振る舞いが違うように見えてしまいます(見えるハズです。見える様に説明しました)。これは自分の説明が下手なのでわざとわけて説明した(そして、わざとわけて説明してから次の一文を言う方がわかりやすいと考えた)だけなのですが......。返り値としてジャンプする」というのが正しい振る舞いです。(この振る舞いだと、分けて説明したものと大体同じ動作をします。引数に変更した式」に、現在の文脈が変更される。返り値として計算します。今までの例を、この視点で振り返ってみてください。次の例も試してください。生成は容易かと思いますが、さて。何度も実行してみてください無限リストの様相も呈して来ましたね。