TcMType

type TcTyVar

type TcKind

type TcType

type TcTauType

type TcThetaType

type TcTyVarSet

newFlexiTyVar

newFlexiTyVarTy

newFlexiTyVarTys

newPolyFlexiTyVarTy

newMetaKindVar

newMetaKindVars

mkTcTyVarName

cloneMetaTyVar

newMetaTyVar

readMetaTyVar

writeMetaTyVar

writeMetaTyVarRef

newMetaDetails

isFilledMetaTyVar

isFlexiMetaTyVar

newEvVar

newEvVars

newEq

newDict

newWantedEvVar

newWantedEvVars

newTcEvBinds

addTcEvBind

newFlatWanted

newFlatWanteds

tcInstTyVars

newSigTyVar

tcInstType

tcInstSkolTyVars

tcInstSuperSkolTyVars

tcInstSuperSkolTyVarsX

tcInstSigTyVarsLoc

tcInstSigTyVars

tcInstSkolTyVar

tcInstSkolType

tcSkolDFunType

tcSuperSkolTyVars

zonkTcPredType

skolemiseUnboundMetaTyVar

zonkTcTyVar

zonkTcTyVars

zonkTyVarsAndFV

zonkTcTypeAndFV

zonkQuantifiedTyVar

quantifyTyVars

zonkTcTyVarBndr

zonkTcType

zonkTcTypes

zonkTcThetaType

zonkTcKind

defaultKindVarToStar

zonkEvVar

zonkWC

zonkFlats

zonkId

zonkCt

zonkCts

zonkSkolemInfo

tcGetGlobalTyVars