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