import { type TSetDistinct } from "https://deno.land/x/typebox@0.32.23/src/type/sets/set.ts";
definition: T extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? TSetIncludes<Acc, L> extends false ? TSetDistinct<R, [...Acc, L]> : TSetDistinct<R, [...Acc]> : Acc