+ -- ** Constructing 'Var's
+ mkLocalIdVar, mkExportedLocalIdVar, mkGlobalIdVar,
+
+ -- ** Taking 'Var's apart
+ varName, varUnique, varType, varIdInfo, globalIdVarDetails,
+
+ -- ** Modifying 'Var's
+ setVarName, setVarUnique, setVarType,
+ setIdVarExported, setIdVarNotExported,
+ globaliseIdVar, lazySetVarIdInfo,
+
+ -- ** Predicates
+ isCoVar, isIdVar, isTyVar, isTcTyVar,
+ isLocalVar, isLocalIdVar,
+ isGlobalIdVar, isExportedIdVar,
+ mustHaveLocalBinding,
+
+ -- * Type variable data type
+ TyVar,
+
+ -- ** Constructing 'TyVar's
+ mkTyVar, mkTcTyVar, mkWildCoVar,
+
+ -- ** Taking 'TyVar's apart
+ tyVarName, tyVarKind, tcTyVarDetails,
+
+ -- ** Modifying 'TyVar's