TcMType
type TcTyVar
type TcKind
type TcType
type TcTauType
type TcThetaType
type TcTyVarSet
newFlexiTyVar
newFlexiTyVarTy
newFlexiTyVarTys
newKindVar
newKindVars
newMetaTyVar
readMetaTyVar
writeMetaTyVar
writeMetaTyVarRef
isFilledMetaTyVar
isFlexiMetaTyVar
newEvVar
newCoVar
newEvVars
newWantedCoVar
writeWantedCoVar
readWantedCoVar
newIP
newDict
newSelfDict
isSelfDict
newWantedEvVar
newWantedEvVars
newTcEvBinds
addTcEvBind
tcInstTyVar
tcInstTyVars
tcInstSigTyVars
tcInstType
tcInstSigType
instMetaTyVar
tcInstSkolTyVars
tcInstSkolTyVar
tcInstSkolType
tcSkolSigType
tcSkolSigTyVars
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
zonkWanted
zonkEvVar
zonkWantedEvVar
zonkTcTypeAndSubst
tcGetGlobalTyVars
readKindVar
writeKindVar