\begin{code}
module Var (
- Var, IdOrTyVar, VarDetails, -- Abstract
+ Var, VarDetails, -- Abstract
varName, varUnique, varInfo, varType,
setVarName, setVarUnique, setVarType, setVarOcc,
in its @VarDetails@.
\begin{code}
-type IdOrTyVar = Var
-
data Var
= Var {
varName :: Name,