Var
The main data type
Taking Vars apart
Modifying Vars
Constructing, taking apart, modifying Ids
Predicates
Type variable data type
Constructing TyVars
Taking TyVars apart
Modifying TyVars
Coercion variable data type
Constructing CoVars
Taking CoVars apart
Modifying CoVars
Var type synonyms