Inst
deeplySkolemise
deeplyInstantiate
instCall
instStupidTheta
emitWanted
emitWanteds
newOverloadedLit
mkOverLit
tcGetInstEnvs
getOverlapFlag
tcExtendLocalInstEnv
instCallConstraints
newMethodFromName
tcSyntaxName
hasEqualities
tyVarsOfWanteds
tyVarsOfWanted
tyVarsOfWantedEvVar
tyVarsOfWantedEvVars
tyVarsOfEvVar
tyVarsOfEvVars
tyVarsOfImplication
tidyWanteds
tidyWanted
tidyWantedEvVar
tidyWantedEvVars
tidyEvVar
tidyImplication