Я провел день, читая страницу 166.length≤1 в книгеThe Little Schemer; есть следующий код:

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

гдеl является(apples) а такжеeternity как следует:

(define eternity 
  (lambda (x)
    (eternity x)))

Страница 166 (4-е изд.) Утверждает, что:

When we apply mk-length once, we get length≤1

А потом

Could we do this more than once?

Но я не знаю, как это сделать для полученияlength≤2?