∀(a : Type) → ∀(xss : List (List a)) → List a