Inst

deeplySkolemise

deeplyInstantiate

instCall

instStupidTheta

emitWanted

emitWanteds

newOverloadedLit

mkOverLit

tcGetInstEnvs

getOverlapFlag

tcExtendLocalInstEnv

instCallConstraints

newMethodFromName

tcSyntaxName

hasEqualities

tyVarsOfWanteds

tyVarsOfWanted

tyVarsOfWantedEvVar

tyVarsOfWantedEvVars

tyVarsOfEvVar

tyVarsOfEvVars

tyVarsOfImplication

tidyWanteds

tidyWanted

tidyWantedEvVar

tidyWantedEvVars

tidyEvVar

tidyImplication