Type variables are regular identifiers beginning with a lowercase letter. For example a, x0, and foo are valid type variables.
Type variables are regular identifiers beginning with a lowercase letter. For example a, x0, and foo are valid type variables.