export type Discriminate<
  Union,
  Prop extends keyof Union,
  Discriminator extends Union[Prop],
> = Union extends { [T in Prop]: Extract<Union[Prop], Discriminator> } ? Union : never;

export type DiscriminateByType<
  Union extends { type: any },
  D extends Union['type']
> = Discriminate<Union, 'type', D>;