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