((lambda (a)
     ((lambda (b) (* a b)) (+ a 1)))
   (+ 1 1))