Inst
deeplySkolemise
deeplyInstantiate
instCall
instStupidTheta
emitWanted
emitWanteds
newOverloadedLit
mkOverLit
newClsInst
tcGetInsts
tcGetInstEnvs
getOverlapFlag
tcExtendLocalInstEnv
instCallConstraints
newMethodFromName
tcSyntaxName
tyVarsOfWC
tyVarsOfBag
tyVarsOfCt
tyVarsOfCts