Substitute
import type { Substitute } from "https://raw.githubusercontent.com/baetheus/fun/main/kind.ts";Substitute is a substitution type, taking a Kind implementation T and substituting it with types passed in S.
type Substitute<T extends Kind, S extends Substitutions> = T extends {
readonly kind: unknown;
} ? (T & S)["kind"] : {readonly T: T;
readonly [out]: () => S["out"];
readonly [in]: (_: S["in"]) => void;
readonly [inout]: (_: S["inout"]) => S["inout"];
};