Inst

deeplySkolemise

deeplyInstantiate

instCall

instStupidTheta

emitWanted

emitWanteds

newOverloadedLit

mkOverLit

tcGetInsts

tcGetInstEnvs

getOverlapFlag

tcExtendLocalInstEnv

instCallConstraints

newMethodFromName

tcSyntaxName

tyVarsOfWC

tyVarsOfBag

tyVarsOfCt

tyVarsOfCts

tidyEvVar

tidyCt

tidySkolemInfo