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