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