import { type ItemNotExist } from "https://deno.land/x/mtype@v0.2.4/array.ts";
definition: A extends [infer F, ...infer P] ? V extends F ? never : ItemNotExist<V, P> : V
import { type ItemNotExist } from "https://deno.land/x/mtype@v0.2.4/array.ts";