Type variables are regular identifiers beginning with a lowercase letter. For example a, x0, and foo are valid type variables.
⛅ Coming soon: create Unison Cloud clusters in minutes on your own infrastructure.
Learn more
Type variables are regular identifiers beginning with a lowercase letter. For example a, x0, and foo are valid type variables.