TcMType

type TcTyVar

type TcKind

type TcType

type TcTauType

type TcThetaType

type TcTyVarSet

newFlexiTyVar

newFlexiTyVarTy

newFlexiTyVarTys

newOpenFlexiTyVarTy

newOpenTypeKind

newMetaKindVar

newMetaKindVars

newMetaTyVarTyAtLevel

cloneMetaTyVar

newFmvTyVar

newFskTyVar

readMetaTyVar

writeMetaTyVar

writeMetaTyVarRef

newMetaDetails

isFilledMetaTyVar

isUnfilledMetaTyVar

data ExpType

type ExpSigmaType

type ExpRhoType

mkCheckExpType

newInferExpType

newInferExpTypeInst

newInferExpTypeNoInst

readExpType

readExpType_maybe

expTypeToType

checkingExpType_maybe

checkingExpType

tauifyExpType

inferResultToType

genInstSkolTyVarsX

newEvVar

newEvVars

newDict

newWanted

newWanteds

cloneWanted

cloneWC

emitWanted

emitWantedEq

emitWantedEvVar

emitWantedEvVars

newTcEvBinds

addTcEvBind

newCoercionHole

fillCoercionHole

isFilledCoercionHole

unpackCoercionHole

unpackCoercionHole_maybe

checkCoercionHole

newMetaTyVars

newMetaTyVarX

newMetaTyVarsX

newMetaSigTyVars

newMetaSigTyVarX

newSigTyVar

newWildCardX

tcInstType

tcInstSkolTyVars

tcInstSkolTyVarsX

tcInstSuperSkolTyVarsX

tcSkolDFunType

tcSuperSkolTyVars

instSkolTyCoVars

freshenTyVarBndrs

freshenCoVarBndrsX

zonkTidyTcType

zonkTidyOrigin

mkTypeErrorThing

mkTypeErrorThingArgs

tidyEvVar

tidyCt

tidySkolemInfo

skolemiseRuntimeUnk

zonkTcTyVar

zonkTcTyVars

zonkTcTyVarToTyVar

zonkTyCoVarsAndFV

zonkTcTypeAndFV

zonkTyCoVarsAndFVList

zonkTcTypeAndSplitDepVars

zonkTcTypesAndSplitDepVars

zonkQuantifiedTyVar

quantifyTyVars

quantifyZonkedTyVars

zonkTcTyCoVarBndr

zonkTcTyVarBinder

zonkTcType

zonkTcTypes

zonkCo

zonkTyCoVarKind

zonkTcTypeMapper

zonkEvVar

zonkWC

zonkSimples

zonkId

zonkCt

zonkSkolemInfo

tcGetGlobalTyCoVars

ensureNotLevPoly

checkForLevPoly

checkForLevPolyX

formatLevPolyErr