∀(xs : List Text) → Text