((lambda (x)
   ((lambda (y)
      (+ x y))
    (+ 1 x)))
 1)
;hiergaat niets mis omdat de lambda's genest zijn