import { type TCompositeReduce } from "https://deno.land/x/typebox@0.26.0-dev.1/src/typebox.ts";
Type Parameters
T extends TObject[]
definition: T extends [infer L, ...infer R] ? TCompositeReduce<[...Assert<R, TObject[]>], TCompositeMerge<Assert<L, TObject>, Output>> : T extends [] ? Output : never