∀(xs : List Natural) → Natural