EqualsOneOfTheComponents

1
type EqualsOneOfTheComponents<T, Union> = Union extends infer Component
2
  ? EQ<T, Component>
3
  : never;