Inst

deeplySkolemise

deeplyInstantiate

instCall

instStupidTheta

emitWanted

emitWanteds

newOverloadedLit

mkOverLit

newClsInst

tcGetInsts

tcGetInstEnvs

getOverlapFlag

tcExtendLocalInstEnv

instCallConstraints

newMethodFromName

tcSyntaxName

tyVarsOfWC

tyVarsOfBag

tyVarsOfCt

tyVarsOfCts