TcMType

type TcTyVar

type TcKind

type TcType

type TcTauType

type TcThetaType

type TcTyVarSet

newFlexiTyVar

newFlexiTyVarTy

newFlexiTyVarTys

newOpenFlexiTyVarTy

newReturnTyVar

newReturnTyVarTy

newOpenReturnTyVar

newMetaKindVar

newMetaKindVars

cloneMetaTyVar

newFmvTyVar

newFskTyVar

tauTvForReturnTv

readMetaTyVar

writeMetaTyVar

writeMetaTyVarRef

newMetaDetails

isFilledMetaTyVar

isUnfilledMetaTyVar

genInstSkolTyVarsX

newEvVar

newEvVars

newDict

newWanted

newWanteds

emitWanted

emitWantedEq

emitWantedEvVar

emitWantedEvVars

newTcEvBinds

addTcEvBind

newCoercionHole

fillCoercionHole

isFilledCoercionHole

unpackCoercionHole

unpackCoercionHole_maybe

checkCoercionHole

newMetaTyVars

newMetaTyVarX

newMetaSigTyVars

newSigTyVar

tcInstType

tcInstSkolTyVars

tcInstSkolTyVarsLoc

tcInstSuperSkolTyVarsX

tcInstSigTyVarsLoc

tcInstSigTyVars

tcInstSkolType

tcSkolDFunType

tcSuperSkolTyVars

instSkolTyCoVars

freshenTyVarBndrs

freshenCoVarBndrsX

zonkTidyTcType

zonkTidyOrigin

mkTypeErrorThing

mkTypeErrorThingArgs

tidyEvVar

tidyCt

tidySkolemInfo

skolemiseUnboundMetaTyVar

zonkTcTyVar

zonkTcTyVars

zonkTyCoVarsAndFV

zonkTcTypeAndFV

zonkQuantifiedTyVar

zonkQuantifiedTyVarOrType

quantifyTyVars

defaultKindVar

zonkTcTyCoVarBndr

zonkTcType

zonkTcTypes

zonkCo

zonkTyCoVarKind

zonkTcTypeMapper

zonkEvVar

zonkWC

zonkSimples

zonkId

zonkCt

zonkSkolemInfo

tcGetGlobalTyCoVars