About Zip with any number of arrays

[ecyrbe]

So, i tried implementing Zip with any number of arrays. This works well :

  type ZipWithImpl<
    arrayTuples extends unknown[][],
    fn extends Fn,
    acc extends unknown[] = []
  > = Call<Some<Empty>, arrayTuples> extends true
    ? acc
    : ZipWithImpl<
        Call<Map<Drop<1>>, arrayTuples>,
        fn,
        [...acc, Call<fn, Call<Tuples.Map<At<0>>, arrayTuples>>]
      >;
      
    type T0 = ZipWithImpl<[[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4]], F.Identity>;

But once plugged to interface level :

  interface ZipWithFn<fn extends Fn> extends Fn {
    return: ZipWithImpl<Fn.args<this, unknown[][]>, fn>;
  }

type T0 = Apply<T.ZipWithFn<F.Identity>, [[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4],[1,2,3,4]]>;

typescript yells with possibly infinite error :(

So for now, we only support Zip2. If anybody finds a solution... i'm all ears opened