static LPair<S, SS> gazelle_zipAll(S input, Collection<S> patterns, O... _) {
  ret map(patterns, pat -> {
    SS map = gazelle_zip(pat, input, _);
    ret map == null ? null : pair(pat, map);
  });
}