InstEnv
type DFunId
type InstMatch
type ClsInstLookupResult
data OverlapFlag
data OverlapMode
setOverlapModeMaybe
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