(\x \y (x 2))