Inst

deeplySkolemise

deeplyInstantiate

instCall

instStupidTheta

emitWanted

emitWanteds

newOverloadedLit

mkOverLit

tcGetInstEnvs

getOverlapFlag

tcExtendLocalInstEnv

instCallConstraints

newMethodFromName

tcSyntaxName

hasEqualities

tyVarsOfWC

tyVarsOfBag

tyVarsOfCt

tyVarsOfCts

tidyEvVar

tidyCt

tidySkolemInfo