Var
The main data type
Constructing Vars
Taking Vars apart
Modifying Vars
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