import { type TExtractArray } from "https://deno.land/x/typebox@0.31.20/src/typebox.ts";
definition: AssertRest<UnionToTuple<[K in keyof T]: Static<AssertType<T[K]>> extends Static<U> ? T[K] : never[number]>> extends infer R ? UnionType<AssertRest<R>> : never