(: sort (forall (e (s (or (vector-of e) (list-of e))))
           (s (e e -> *) -> s)))