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

newFlatWanteds

tcInstTyVars

tcInstSigTyVars

newSigTyVar

tcInstType

tcInstSkolTyVars

tcInstSkolTyVarsLoc

tcInstSuperSkolTyVars

tcInstSkolTyVarsX

tcInstSuperSkolTyVarsX

tcInstSkolTyVar

tcInstSkolType

tcSkolDFunType

tcSuperSkolTyVars

zonkTcPredType

skolemiseSigTv

skolemiseUnboundMetaTyVar

zonkTcTyVar

zonkTcTyVars

zonkTyVarsAndFV

zonkTcTypeAndFV

zonkQuantifiedTyVar

quantifyTyVars

zonkTcTyVarBndr

zonkTcType

zonkTcTypes

zonkTcThetaType

zonkTcKind

defaultKindVarToStar

zonkEvVar

zonkWC

zonkId

zonkCt

zonkCts

zonkSkolemInfo

tcGetGlobalTyVars