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