utils

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

export type ignoreSymbol = typeof ignoreSymbol

export type typeSymbol = typeof typeSymbol

export declare const unify: {
  <Args extends any[], Args2 extends any[], Args3 extends any[], Args4 extends any[], Args5 extends 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 any[], Args2 extends any[], Args3 extends any[], Args4 extends any[], T>(
    x: (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => T
  ): (...args: Args) => (...args: Args2) => (...args: Args3) => (...args: Args4) => Unify<T>
  <Args extends any[], Args2 extends any[], Args3 extends any[], T>(
    x: (...args: Args) => (...args: Args2) => (...args: Args3) => T
  ): (...args: Args) => (...args: Args2) => (...args: Args3) => Unify<T>
  <Args extends any[], Args2 extends any[], T>(
    x: (...args: Args) => (...args: Args2) => T
  ): (...args: Args) => (...args: Args2) => Unify<T>
  <Args extends any[], T>(x: (...args: Args) => T): (...args: Args) => Unify<T>
  <T>(x: T): Unify<T>
}

export type unifySymbol = typeof unifySymbol