Inst
deeplySkolemise
deeplyInstantiate
instCall
instStupidTheta
emitWanted
emitWanteds
newOverloadedLit
mkOverLit
tcGetInstEnvs
getOverlapFlag
tcExtendLocalInstEnv
instCallConstraints
newMethodFromName
tcSyntaxName
hasEqualities
unitImplication
tyVarsOfWC
tyVarsOfBag
tyVarsOfEvVar
tyVarsOfEvVars
tyVarsOfImplication
tyVarsOfCt
tyVarsOfCts
tyVarsOfCDict
tyVarsOfCDicts
tidyEvVar
tidyCt
tidyGivenLoc
substEvVar
substImplication
substCt