import { type In } from "https://deno.land/x/fun@v2.0.0-alpha.10/kind.ts";
Access the Contravariant substitution type at index N
import { type In } from "https://deno.land/x/fun@v2.0.0-alpha.10/kind.ts";
Access the Contravariant substitution type at index N