Unify

declare const ignoreSymbol: unique symbol;

type ignoreSymbol = typeof ignoreSymbol;

declare const typeSymbol: unique symbol;

type typeSymbol = typeof typeSymbol;

declare const unify: {
  <
    Args extends Array<any>,
    Args2 extends Array<any>,
    Args3 extends Array<any>,
    Args4 extends Array<any>,
    Args5 extends Array<any>,
    T,
  >(
    x: (
      ...args: Args
    ) => (...args: Args2) => (...args: Args3) => (...args: Args4) => (...args: Args5) => T,
  ): (
    ...args: Args
  ) => (...args: Args2) => (...args: Args3) => (...args: Args4) => (...args: Args5) => Unify<T>;
  <
    Args extends Array<any>,
    Args2 extends Array<any>,
    Args3 extends Array<any>,
    Args4 extends Array<any>,
    T,
  >(
    x: (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => T,
  ): (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => Unify<T>;
  <Args extends Array<any>, Args2 extends Array<any>, Args3 extends Array<any>, T>(
    x: (...args: Args) => (...args: Args2) => (...args: Args3) => T,
  ): (...args: Args) => (...args: Args2) => (...args: Args3) => Unify<T>;
  <Args extends Array<any>, Args2 extends Array<any>, T>(
    x: (...args: Args) => (...args: Args2) => T,
  ): (...args: Args) => (...args: Args2) => Unify<T>;
  <Args extends Array<any>, T>(x: (...args: Args) => T): (...args: Args) => Unify<T>;
  <T>(x: T): Unify<T>;
};

type Unify<A> =
  Values<
    ExtractTypes<
      FilterIn<A> & {
        [typeSymbol]: A;
      }
    >
  > extends infer Z
    ? Z | Exclude<A, Z> | FilterOut<A>
    : never;

declare const unifySymbol: unique symbol;

type unifySymbol = typeof unifySymbol;