+ -- ** Taking 'Var's apart
+ varName, varUnique, varType,
+
+ -- ** Modifying 'Var's
+ setVarName, setVarUnique, setVarType,
+
+ -- ** Constructing, taking apart, modifying 'Id's
+ mkGlobalVar, mkLocalVar, mkExportedLocalVar,
+ idInfo, idDetails,
+ lazySetIdInfo, setIdDetails, globaliseId,
+ setIdExported, setIdNotExported,
+
+ -- ** Predicates
+ isCoVar, isId, isTyVar, isTcTyVar,
+ isLocalVar, isLocalId,
+ isGlobalId, isExportedId,
+ mustHaveLocalBinding,
+
+ -- * Type variable data type
+ TyVar,
+
+ -- ** Constructing 'TyVar's
+ mkTyVar, mkTcTyVar, mkWildCoVar,
+
+ -- ** Taking 'TyVar's apart
+ tyVarName, tyVarKind, tcTyVarDetails,
+
+ -- ** Modifying 'TyVar's