import Var ( TyVar, tyVarKind,
tyVarName, setTyVarName
)
-import VarEnv
import TyCon ( TyCon, isPrimTyCon, isTupleTyCon, isUnboxedTupleTyCon,
maybeTyConSingleCon, isEnumerationTyCon,
tyConArity, tyConUnique
import PprEnv
import Unique ( Uniquable(..) )
import Unique -- quite a few *Keys
-import Util
\end{code}
%************************************************************************