TcMType
type TcTyVar
type TcKind
type TcType
type TcTauType
type TcThetaType
type TcTyVarSet
newFlexiTyVar
newFlexiTyVarTy
newFlexiTyVarTys
newReturnTyVar
newReturnTyVarTy
newMetaKindVar
newMetaKindVars
mkTcTyVarName
cloneMetaTyVar
newMetaTyVar
readMetaTyVar
writeMetaTyVar
writeMetaTyVarRef
newMetaDetails
isFilledMetaTyVar
isUnfilledMetaTyVar
newEvVar
newEvVars
newEq
newDict
newTcEvBinds
addTcEvBind
newSimpleWanted
newSimpleWanteds
tcInstTyVars
newSigTyVar
tcInstType
tcInstSkolTyVars
tcInstSuperSkolTyVarsX
tcInstSigTyVarsLoc
tcInstSigTyVars
tcInstSkolType
tcSkolDFunType
tcSuperSkolTyVars
instSkolTyVars
freshenTyVarBndrs
zonkTcPredType
zonkTidyTcType
zonkTidyOrigin
tidyEvVar
tidyCt
tidySkolemInfo
skolemiseUnboundMetaTyVar
zonkTcTyVar
zonkTcTyVars
zonkTyVarsAndFV
zonkTcTypeAndFV
zonkQuantifiedTyVar
quantifyTyVars
zonkTcTyVarBndr
zonkTcType
zonkTcTypes
zonkTcThetaType
zonkTcKind
defaultKindVarToStar
zonkEvVar
zonkWC
zonkSimples
zonkId
zonkCt
zonkSkolemInfo
tcGetGlobalTyVars
newWildcardVar
newWildcardVarMetaKind