Cannot use .map() inside Union with Literal about typebox HOT 2 CLOSED

const A = [1, 2, 3, 4] as const   // type A = readonly [1, 2, 3, 4]

const B = A.map(value => value)   // type B = (1 | 2 | 3 | 4)[]  - (no longer a tuple)

const DATA = [{value: 'Bob'}, {value: 'Stella'}] as const;

const VARIANTS = DATA.map(({ value }) => Type.Literal(value)) // hover VARIANTS
//
// TLiteral<"Bob" | "Stella">[]  -- Incorrect
//
// [TLiteral<'Bob'>, TLiteral<'Stella'>] -- Correct

import { Type, TLiteral } from '@sinclair/typebox'

// --------------------------------------------------------------------------------
// DataToLiteralTuple
// --------------------------------------------------------------------------------

type Element = { value: string }

// This is a .map() operation in the type system
type TDataToLiteralTuple<Data extends Element[], Result extends TLiteral[] = []> = (
  Data extends [infer L extends Element, ...infer R extends Element[]]
    ? TDataToLiteralTuple<R, [...Result, TLiteral<L['value']>]>
    : Result
)
function DataToLiteralTuple<Data extends Element[]>(elements: readonly [...Data]): TDataToLiteralTuple<Data> {
  return elements.map(element => Type.Literal(element.value)) as TDataToLiteralTuple<Data> 
}

// --------------------------------------------------------------------------------
// Example
// --------------------------------------------------------------------------------

const DATA = [{value: 'Bob'}, {value: 'Stella'}] as const;

const thing = Type.Union(DataToLiteralTuple(DATA))