(define length
(Y
(lambda (recfun)
(lambda (l)
(cond
((null? l) 0)
(t (add1
(recfun (cdr l)))))))))