InstEnv
type DFunId
data OverlapFlag
type InstMatch
type ClsInstLookupResult
data ClsInst
type DFunInstType
pprInstance
pprInstanceHdr
pprInstances
instanceHead
instanceSig
mkLocalInstance
mkImportedInstance
instanceDFunId
tidyClsInstDFun
instanceRoughTcs
type InstEnv
emptyInstEnv
extendInstEnv
overwriteInstEnv
extendInstEnvList
lookupUniqueInstEnv
lookupInstEnv'
lookupInstEnv
instEnvElts
classInstances
orphNamesOfClsInst
instanceBindFun
instanceCantMatch
roughMatchTcs