ToTuple

export type ToTuple<T extends Check<any>[]> = {[I in keyof T]: T[I] extends Check<unknown>
  ? Ti
  : never}