Inst

deeplySkolemise

deeplyInstantiate

instCall

instStupidTheta

emitWanted

emitWanteds

newOverloadedLit

mkOverLit

tcGetInstEnvs

getOverlapFlag

tcExtendLocalInstEnv

instCallConstraints

newMethodFromName

tcSyntaxName

hasEqualities

unitImplication

tyVarsOfWC

tyVarsOfBag

tyVarsOfEvVar

tyVarsOfEvVars

tyVarsOfImplication

tyVarsOfCt

tyVarsOfCts

tyVarsOfCDict

tyVarsOfCDicts

tidyEvVar

tidyCt

tidyGivenLoc

substEvVar

substImplication

substCt