TcMType

type TcTyVar

type TcKind

type TcType

type TcTauType

type TcThetaType

type TcTyVarSet

newFlexiTyVar

newFlexiTyVarTy

newFlexiTyVarTys

newOpenFlexiTyVarTy

newMetaKindVar

newMetaKindVars

cloneMetaTyVar

newFmvTyVar

newFskTyVar

readMetaTyVar

writeMetaTyVar

writeMetaTyVarRef

newMetaDetails

isFilledMetaTyVar

isUnfilledMetaTyVar

data ExpType

type ExpSigmaType

type ExpRhoType

mkCheckExpType

newOpenInferExpType

readExpType

readExpType_maybe

writeExpType

expTypeToType

checkingExpType_maybe

checkingExpType

tauifyExpType

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

zonkTcTyVarToTyVar

zonkTyCoVarsAndFV

zonkTcTypeAndFV

zonkTyCoVarsAndFVList

zonkTcTypeAndSplitDepVars

zonkTcTypesAndSplitDepVars

zonkQuantifiedTyVar

zonkQuantifiedTyVarOrType

quantifyTyVars

quantifyZonkedTyVars

defaultKindVar

zonkTcTyCoVarBndr

zonkTcTyBinder

zonkTcType

zonkTcTypes

zonkCo

zonkTyCoVarKind

zonkTcTypeMapper

zonkEvVar

zonkWC

zonkSimples

zonkId

zonkCt

zonkSkolemInfo

tcGetGlobalTyCoVars