import { type TExcludeArray } 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> ? never : T[K][number]>> extends infer R ? UnionType<AssertRest<R>> : never