PosTypeArg A positional argument, such as T. Inherits from: TypeArg Fields ty @ TypeExpr The argument's type.