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