(setq fixpoint
(lambda (h)
(funcall
(lambda (x)
(funcall h (funcall x x) ))
(lambda (x)
(funcall h (funcall x x) ))
)
)
)
(defun test (n)
(if (> n 0)
(+ n (test (- n 1) ) )
1
)
)
(fixpoint 'test)