import { type Substitute } from "https://deno.land/x/fun@v.2.0.0-alpha.11/kind.ts";
Substitute is a substitution type, taking a Kind implementation T and substituting it with types passed in S.
Type Parameters
T extends Kind
S extends Substitutions