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