Var

The main data type

data Var

Constructing Vars

Taking Vars apart

Modifying Vars

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