TcMType
type TcTyVar
type TcKind
type TcType
type TcTauType
type TcThetaType
type TcTyVarSet
newFlexiTyVar
newFlexiTyVarTy
newFlexiTyVarTys
newPolyFlexiTyVarTy
newMetaKindVar
newMetaKindVars
mkTcTyVarName
cloneMetaTyVar
newMetaTyVar
readMetaTyVar
writeMetaTyVar
writeMetaTyVarRef
newMetaDetails
isFilledMetaTyVar
isFlexiMetaTyVar
newEvVar
newEvVars
newEq
newDict
newWantedEvVar
newWantedEvVars
newTcEvBinds
addTcEvBind
newFlatWanted
newFlatWanteds
tcInstTyVars
newSigTyVar
tcInstType
tcInstSkolTyVars
tcInstSuperSkolTyVars
tcInstSuperSkolTyVarsX
tcInstSigTyVarsLoc
tcInstSigTyVars
tcInstSkolTyVar
tcInstSkolType
tcSkolDFunType
tcSuperSkolTyVars
zonkTcPredType
skolemiseUnboundMetaTyVar
zonkTcTyVar
zonkTcTyVars
zonkTyVarsAndFV
zonkTcTypeAndFV
zonkQuantifiedTyVar
quantifyTyVars
zonkTcTyVarBndr
zonkTcType
zonkTcTypes
zonkTcThetaType
zonkTcKind
defaultKindVarToStar
zonkEvVar
zonkWC
zonkFlats
zonkId
zonkCt
zonkCts
zonkSkolemInfo
tcGetGlobalTyVars