;展開 最終形
(lambda (l)
(cond
((null? l) 0) ; -----①
(else (add1 (((lambda (mk-length)
(lambda (l)
(cond
((null? l) 0) ; -----②
(else (add1 ((mk-length eternity) (cdr l))))))) eternity) (cdr l)))))) ;-----③

ここで、nullリストかatomを一つだけ持つリストを渡してやると、それぞれ
上に示しました①、②で処理が終了するので、正しい長さである0と1が返って
きます。疑問はありません。

ただ、定義上与えてはいけない二つのatomを持つリスト '(a b) などを
渡した場合を考えると、③の部分が実行されることになりますが、
add1の引数にlambda関数を渡すことになるので、引数として数字を一つだけ
とる仕様のadd1関数の文法に違反します。nullリストかatomを一つだけ持つ
リストを渡している限り③の部分は評価されないので、それはOKということに
なるのでしょうか？