(define (double f) (lambda (x) (f (f x))))

; Процедура (((double (double double)) inc) 5) возвращает значение
; 21, т.к само по себе ((double (double double)) inc) добавляет 16