import { type $ } from "https://deno.land/x/fun@v2.0.0/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, { [out]: Out; [in]: In; [inout]: InOut; }>