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