Type Alias Literal<T>

Literal: [T] extends [string | number | boolean]
    ? string extends T
        ? never
        : number extends T
            ? never
            : boolean extends T ? never : string | number | boolean
    : never