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