TcMType

type TcTyVar

type TcKind

type TcType

type TcTauType

type TcThetaType

type TcTyVarSet

newFlexiTyVar

newFlexiTyVarTy

newFlexiTyVarTys

newMetaKindVar

newMetaKindVars

mkKindSigVar

mkTcTyVarName

newMetaTyVar

readMetaTyVar

writeMetaTyVar

writeMetaTyVarRef

isFilledMetaTyVar

isFlexiMetaTyVar

newEvVar

newEvVars

newEq

newDict

newWantedEvVar

newWantedEvVars

newTcEvBinds

addTcEvBind

tcInstTyVars

tcInstSigTyVars

newSigTyVar

tcInstType

tcInstSkolTyVars

tcInstSuperSkolTyVars

tcInstSkolTyVarsX

tcInstSuperSkolTyVarsX

tcInstSkolTyVar

tcInstSkolType

tcSkolDFunType

tcSuperSkolTyVars

data Rank

data UserTypeCtxt

checkValidType

checkValidMonoType

expectedKindInCtxt

checkValidTheta

checkValidInstHead

checkValidInstance

validDerivPred

checkInstTermination

checkValidFamInst

checkTyFamFreeness

arityErr

growThetaTyVars

quantifyPred

zonkTcPredType

skolemiseSigTv

skolemiseUnboundMetaTyVar

zonkTcTyVar

zonkTcTyVars

zonkTyVarsAndFV

zonkQuantifiedTyVar

zonkQuantifiedTyVars

zonkTcType

zonkTcTypes

zonkTcThetaType

zonkTcKind

defaultKindVarToStar

zonkCt

zonkCts

zonkImplication

zonkEvVar

zonkWC

zonkId

tcGetGlobalTyVars