type alias UnionFactorialimport { type UnionFactorial } from "https://deno.land/x/curry@v1.0.0/curry.ts"; ExamplesExample 1 UnionFactorial<[1, 2, 3]> = [1] | [1, 2] | [1, 2, 3]. Type ParametersT extends AnyArraydefinition: T extends readonly [] ? never : T | UnionFactorial<Pop<T>>