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
fuzzyClsInstCmp
orphNamesOfClsInst
data InstEnvs
type VisibleOrphanModules
type InstEnv
emptyInstEnv
extendInstEnv
deleteFromInstEnv
identicalClsInstHead
extendInstEnvList
lookupUniqueInstEnv
lookupInstEnv
instEnvElts
memberInstEnv
instIsVisible
classInstances
instanceBindFun
instanceCantMatch
roughMatchTcs