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