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
writeWantedCoVar
readWantedCoVar
newIP
newDict
newSilentGiven
isSilentEvVar
newWantedEvVar
newWantedEvVars
newTcEvBinds
addTcEvBind
tcInstTyVar
tcInstTyVars
tcInstSigTyVars
tcInstType
instMetaTyVar
tcInstSkolTyVars
tcInstSuperSkolTyVars
tcInstSkolTyVar
tcInstSkolType
tcSkolDFunType
tcSuperSkolTyVars
data Rank
data UserTypeCtxt
checkValidType
checkValidMonoType
data SourceTyCtxt
checkValidTheta
checkValidInstance
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