Inst
deeplySkolemise
deeplyInstantiate
instCall
instStupidTheta
emitWanted
emitWanteds
newOverloadedLit
mkOverLit
tcGetInstEnvs
getOverlapFlag
tcExtendLocalInstEnv
instCallConstraints
newMethodFromName
tcSyntaxName
hasEqualities
unitImplication
tyVarsOfWC
tyVarsOfBag
tyVarsOfEvVarXs
tyVarsOfEvVarX
tyVarsOfEvVar
tyVarsOfEvVars
tyVarsOfImplication
tidyWantedEvVar
tidyWantedEvVars
tidyWC
tidyEvVar
tidyImplication
tidyFlavoredEvVar
substWantedEvVar
substWantedEvVars
substFlavoredEvVar
substEvVar
substImplication