(define a (λ () (+ 1 2 3)))
(a)