TcMType
type TcTyVar
type TcKind
type TcType
type TcTauType
type TcThetaType
type TcTyVarSet
newFlexiTyVar
newFlexiTyVarTy
newFlexiTyVarTys
newMetaKindVar
newMetaKindVars
mkTcTyVarName
newMetaTyVar
readMetaTyVar
writeMetaTyVar
writeMetaTyVarRef
isFilledMetaTyVar
isFlexiMetaTyVar
newEvVar
newEvVars
newEq
newIP
newDict
newWantedEvVar
newWantedEvVars
newTcEvBinds
addTcEvBind
tcInstTyVars
tcInstSigTyVars
tcInstType
tcInstSkolTyVars
tcInstSuperSkolTyVars
tcInstSkolTyVarsX
tcInstSuperSkolTyVarsX
tcInstSkolTyVar
tcInstSkolType
tcSkolDFunType
tcSuperSkolTyVars
data Rank
data UserTypeCtxt
checkValidType
checkValidMonoType
expectedKindInCtxt
checkValidTheta
checkValidInstHead
checkValidInstance
validDerivPred
checkInstTermination
checkValidFamInst
checkTyFamFreeness
arityErr
growPredTyVars
growThetaTyVars
zonkType
zonkKind
zonkTcPredType
zonkTcTypeCarefully
skolemiseUnboundMetaTyVar
zonkTcTyVar
zonkTcTyVars
zonkTcTyVarsAndFV
zonkSigTyVar
zonkQuantifiedTyVar
zonkQuantifiedTyVars
zonkTcType
zonkTcTypes
zonkTcThetaType
zonkTcKind
defaultKindVarToStar
zonkCt
zonkCts
zonkImplication
zonkEvVar
zonkWantedEvVar
zonkWC
zonkWantedEvVars
zonkTcTypeAndSubst
tcGetGlobalTyVars
compatKindTcM
isSubKindTcM