import { type $ } from "https://deno.land/x/fun@v2.0.0-alpha.6/kind.ts";
$ is an alias of Substitute, lifting out, in, and inout substitutions to positional type parameters.
Type Parameters
T extends Kind
definition: Substitute<T, { [covariant]: Out; [contravariant]: In; [invariant]: InOut; }>