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