($ var 42)
($ (fun x) (* 2 x))