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