import { type UniqueArray } from "https://deno.land/x/mtype@v0.4.1/deps/array.ts";
definition: T extends [...infer P, infer L] ? UniqueArray<P, [ItemNotExist<L, P>, ...G]> : FilterNeverInArray<G>
import { type UniqueArray } from "https://deno.land/x/mtype@v0.4.1/deps/array.ts";