(let ((a 4) (times2 (let ((n 2)) (lambda (x) (* x n))))) (times2 a))