5360 - Unique

[zhaoyao91]

type IsElemInSet<E, S extends unknown[]> = 
  S extends [infer Head, ...infer Rest extends unknown[]]
    ? Equal<E, Head> extends true
      ? true
      : IsElemInSet<E, Rest>
    : false

type Unique<T extends unknown[], Acc extends unknown[] = []> =
  T extends [infer First, ...infer Rest extends unknown[]]
    ? IsElemInSet<First, Acc> extends true
      ? Unique<Rest, Acc>
      : Unique<Rest, [...Acc, First]>
    : Acc