(labels ((fak (n) (cond ((<= n 1) 1) (1 (* n (fak (- n 1)))))) (g (n) (* 2 n))) (g (fak (g 6))))

(labels ((addn (n)(function (lambda (x) (+ x n))))(c (f g)(function (lambda (x) (funcall f (funcall g x))))))(funcall (c (addn 12) (addn 21)) 22))