$
import type { $ } from "https://raw.githubusercontent.com/baetheus/fun/main/kind.ts";$ is an alias of Substitute, lifting out, in, and inout substitutions to positional type parameters.
type $<T extends Kind, Out extends unknown[], In extends unknown[] = [never], InOut extends unknown[] = [never]> = Substitute<T, {
[out]: Out;
[in]: In;
[inout]: InOut;
}>;