ToOneOf

export type ToOneOf<T extends Check<any>[]> = T extends Check<unknown>[]
  ? I
  : never