import { type FilterNeverInArray } from "https://deno.land/x/mtype@v0.5.3/mod.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.5.3/mod.ts";