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