(progn
  (defun! foo ()
    (foo))
  foo)