Var

The main data type

data Var

Taking Vars apart

Modifying Vars

Constructing, taking apart, modifying Ids

Predicates

Type variable data type

type TyVar

Constructing TyVars

Taking TyVars apart

Modifying TyVars

Coercion variable data type

type CoVar

Constructing CoVars

Taking CoVars apart

Modifying CoVars

Var type synonyms

type Id
type DictId