P164の以下の式を理解するのに
順番に展開してみたところ、明らかに文法上不正にも
関わらず、その部分が実行されないかぎりエラーとは
みなされないようですが、Schemeはそういう文化なのでしょうか？
（C++のテンプレートにもSFINAEというルールがありますが）

;length(<=1)

((lambda (mk-length)
(mk-length mk-length))
(lambda (mk-length)
(lambda (l)
(cond
((null? l) 0)
(else (add1 ((mk-length eternity) (cdr l))))))))

;展開 第一段階
((lambda (mk-length)
(lambda (l)
(cond
((null? l) 0)
(else (add1 ((mk-length eternity) (cdr l)))))))

(lambda (mk-length)
(lambda (l)
(cond
((null? l) 0)
(else (add1 ((mk-length eternity) (cdr l)))))))
)

続く