TcMType

type TcTyVar

type TcKind

type TcType

type TcTauType

type TcThetaType

type TcTyVarSet

newFlexiTyVar

newFlexiTyVarTy

newFlexiTyVarTys

newReturnTyVar

newReturnTyVarTy

newMetaKindVar

newMetaKindVars

mkTcTyVarName

cloneMetaTyVar

newMetaTyVar

readMetaTyVar

writeMetaTyVar

writeMetaTyVarRef

newMetaDetails

isFilledMetaTyVar

isUnfilledMetaTyVar

newEvVar

newEvVars

newEq

newDict

newTcEvBinds

addTcEvBind

newSimpleWanted

newSimpleWanteds

tcInstTyVars

newSigTyVar

tcInstType

tcInstSkolTyVars

tcInstSuperSkolTyVarsX

tcInstSigTyVarsLoc

tcInstSigTyVars

tcInstSkolType

tcSkolDFunType

tcSuperSkolTyVars

instSkolTyVars

freshenTyVarBndrs

zonkTcPredType

zonkTidyTcType

zonkTidyOrigin

tidyEvVar

tidyCt

tidySkolemInfo

skolemiseUnboundMetaTyVar

zonkTcTyVar

zonkTcTyVars

zonkTyVarsAndFV

zonkTcTypeAndFV

zonkQuantifiedTyVar

quantifyTyVars

zonkTcTyVarBndr

zonkTcType

zonkTcTypes

zonkTcThetaType

zonkTcKind

defaultKindVarToStar

zonkEvVar

zonkWC

zonkSimples

zonkId

zonkCt

zonkSkolemInfo

tcGetGlobalTyVars

newWildcardVar

newWildcardVarMetaKind