Holds a type level value in a concrete position in order to keep a type around for better inference.

Kind is an interface that can be extended to retrieve inner types using "this".

$ is an alias of Substitute, lifting out, in, and inout substitutions to positional type parameters.

Access the Contravariant substitution type at index N

Access the Invariant substitution type at index N

Access the Covariant substitution type at index N

Substitute is a substitution type, taking a Kind implementation T and substituting it with types passed in S.

Splits the different type level substitutions into tuples based on variance.

Extract the inner type from a Hold

Typeclass is a type constrained Hold type, specifically constrained to a "Kind" (ie. type level type)