Inst
deeplySkolemise
deeplyInstantiate
instCall
instStupidTheta
emitWanted
emitWanteds
newOverloadedLit
mkOverLit
tcGetInstEnvs
getOverlapFlag
tcExtendLocalInstEnv
instCallConstraints
newMethodFromName
tcSyntaxName
hasEqualities
tyVarsOfWC
tyVarsOfBag
tyVarsOfCt
tyVarsOfCts
tidyEvVar
tidyCt
tidySkolemInfo