Inst

deeplySkolemise

deeplyInstantiate

instCall

instStupidTheta

emitWanted

emitWanteds

newOverloadedLit

mkOverLit

tcGetInstEnvs

getOverlapFlag

tcExtendLocalInstEnv

instCallConstraints

newMethodFromName

tcSyntaxName

hasEqualities

unitImplication

tyVarsOfWC

tyVarsOfBag

tyVarsOfEvVarXs

tyVarsOfEvVarX

tyVarsOfEvVar

tyVarsOfEvVars

tyVarsOfImplication

tyVarsOfCt

tyVarsOfCts

tyVarsOfCDict

tyVarsOfCDicts

tidyWantedEvVar

tidyWantedEvVars

tidyWC

tidyEvVar

tidyImplication

tidyCt

substWantedEvVar

substWantedEvVars

substEvVar

substImplication

substCt