λ(nil : Natural) → 2 + (3 + (5 + nil))