Args are put on type arguments, and the cross product of all types that are so annotated are instantiated.
Excludes specific instantiations of the cross product inferred by @args.
Excludes specific instantiations of the cross product inferred by @args. Order is the same as the order of the type arguments
\@sequence[T](args) associates the term parameter's values with the type argument indicated.
Replaces a def with a val.
Replaces a def with a val. Requires that all type arguments be expanded and all term arguments be sequenced