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
newFlatWanteds
tcInstTyVars
tcInstSigTyVars
newSigTyVar
tcInstType
tcInstSkolTyVars
tcInstSkolTyVarsLoc
tcInstSuperSkolTyVars
tcInstSkolTyVarsX
tcInstSuperSkolTyVarsX
tcInstSkolTyVar
tcInstSkolType
tcSkolDFunType
tcSuperSkolTyVars
zonkTcPredType
skolemiseSigTv
skolemiseUnboundMetaTyVar
zonkTcTyVar
zonkTcTyVars
zonkTyVarsAndFV
zonkTcTypeAndFV
zonkQuantifiedTyVar
quantifyTyVars
zonkTcTyVarBndr
zonkTcType
zonkTcTypes
zonkTcThetaType
zonkTcKind
defaultKindVarToStar
zonkEvVar
zonkWC
zonkId
zonkCt
zonkCts
zonkSkolemInfo
tcGetGlobalTyVars