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