TcMType
type TcTyVar
type TcKind
type TcType
type TcTauType
type TcThetaType
type TcTyVarSet
newFlexiTyVar
newFlexiTyVarTy
newFlexiTyVarTys
newKindVar
newKindVars
mkTcTyVarName
newMetaTyVar
readMetaTyVar
writeMetaTyVar
writeMetaTyVarRef
isFilledMetaTyVar
isFlexiMetaTyVar
newEvVar
newCoVar
newEvVars
newIP
newDict
newWantedEvVar
newWantedEvVars
newTcEvBinds
addTcEvBind
tcInstTyVars
tcInstSigTyVars
tcInstType
tcInstSkolTyVars
tcInstSuperSkolTyVars
tcInstSkolTyVar
tcInstSkolType
tcSkolDFunType
tcSuperSkolTyVars
data Rank
data UserTypeCtxt
checkValidType
checkValidMonoType
data SourceTyCtxt
checkValidTheta
checkValidInstHead
checkValidInstance
checkInstTermination
checkValidTypeInst
checkTyFamFreeness
arityErr
growPredTyVars
growThetaTyVars
validDerivPred
zonkType
mkZonkTcTyVar
zonkTcPredType
zonkTcTypeCarefully
skolemiseUnboundMetaTyVar
zonkTcTyVar
zonkTcTyVars
zonkTcTyVarsAndFV
zonkSigTyVar
zonkQuantifiedTyVar
zonkQuantifiedTyVars
zonkTcType
zonkTcTypes
zonkTcThetaType
zonkTcKindToKind
zonkTcKind
zonkImplication
zonkEvVar
zonkWantedEvVar
zonkFlavoredEvVar
zonkWC
zonkWantedEvVars
zonkTcTypeAndSubst
tcGetGlobalTyVars
readKindVar
writeKindVar