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