ExclusifyUnion improved goto definiion

exclusifyUnion.ts

import { UnionToIntersection } from 'type-fest';

export type ExclusifyUnion<T> = ExclusifyUnion_<T, T>;
type ExclusifyUnion_<T, U> = T extends never
  ? never
  : T & EmptyDifference<T, Exclude<U, T>>; // eslint-disable-line @typescript-eslint/sort-type-constituents
type EmptyDifference<T, U> = Omit<
  UnionToIntersection<T extends never ? never : { [K in keyof U]?: never }>,
  keyof T
>;