Product

declare function struct<F extends TypeLambda>(
  F: Product<F>,
): <
  R extends {
    [x: string]: Kind<F, any, any, any, any>;
  },
>(
  fields: R,
) => Kind<
  F,
  [R[keyof R]] extends [Kind<F, R, any, any, any>] ? R : never,
  R[keyof R] extends never ? never : [R[keyof R]] extends [Kind<F, any, O, any, any>] ? O : never,
  R[keyof R] extends never ? never : [R[keyof R]] extends [Kind<F, any, any, E, any>] ? E : never,
  { [K in string | number | symbol]: [R[K]] extends [Kind<F, any, any, any, A>] ? A : never }
>;

declare function tuple<F extends TypeLambda>(F: Product<F>): <T extends readonly Array<Kind<F, any, any, any, any>>>(...elements: T) => Kind<F, [T[number]] extends [Kind<F, R, any, any, any>] ? R : never, T[number] extends never ? never : [T[number]] extends [Kind<F, any, O, any, any>] ? O : never, T[number] extends never ? never : [T[number]] extends [Kind<F, any, any, E, any>] ? E : never, { [I in string | number | symbol]: [T[I]] extends [Kind<F, any, any, any, A>] ? A : never }>

interface Product<F extends TypeLambda> extends SemiProduct<F>, Of<F> {
  readonly productAll: <R, O, E, A>(
    collection: Iterable<Kind<F, R, O, E, A>>,
  ) => Kind<F, R, O, E, Array<A>>;
}