(\x.x + 7) 10
