Inst
deeplySkolemise
topInstantiate
topInstantiateInferred
deeplyInstantiate
instCall
instDFunType
instStupidTheta
newWanted
newWanteds
tcInstBinders
tcInstBindersX
newOverloadedLit
mkOverLit
newClsInst
tcGetInsts
tcGetInstEnvs
getOverlapFlag
tcExtendLocalInstEnv
instCallConstraints
newMethodFromName
tcSyntaxName
tyCoVarsOfWC
tyCoVarsOfCt
tyCoVarsOfCts