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