import { type TExtractArray } from "https://deno.land/x/openbox@1.0.3/deps.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