generate tuple of primitive-types from tuple of literal-types

tuple-of.ts

type TypeOfLiteral<T> = T extends string
    ? string
    : T extends number
    ? number
    : T extends boolean
    ? boolean
    : T extends bigint
    ? bigint
    : T extends Symbol
    ? Symbol
    : T extends null
    ? null
    : T extends undefined
    ? undefined
    : T // if not one-of primitive, return T
  
type TupleOf<LiteralTuple> = LiteralTuple extends
    | Readonly<[infer U, ...infer R]>
    | [infer U, ...infer R]
    ? [TypeOfLiteral<U>, ...TupleOf<R>]
    : LiteralTuple extends []
    ? []
    : never
  
let temp = ["hello", true, 43] as const
let result: TupleOf<typeof temp> // [string, boolean, number]