import TcType ( TcType, TcTyVar, TcSigmaType, TcRhoType, mkFunTys,
tyVarsOfTypes, tidyOpenTypes, isSigmaTy, mkTyConApp,
liftedTypeKind, openTypeKind, mkArrowKind, mkAppTy )
import TcType ( TcType, TcTyVar, TcSigmaType, TcRhoType, mkFunTys,
tyVarsOfTypes, tidyOpenTypes, isSigmaTy, mkTyConApp,
liftedTypeKind, openTypeKind, mkArrowKind, mkAppTy )