Type Alias InternalIsUnion<T, U>

InternalIsUnion: (
    IsNever<T> extends true
        ? false
        : T extends any ? [U] extends [T] ? false : true : never
) extends infer Result
    ? boolean extends Result ? true : Result
    : never