Type alias TypeOf<T>

TypeOf<T>: T extends string
    ? string
    : T extends number
        ? number
        : T extends bigint
            ? bigint
            : never

判断一个字面量类型的隶属类型 TypeOf<123> // number