FamInstEnv

data FamInst

famInstTyCon

famInstTyVars

pprFamInst

pprFamInstHdr

pprFamInsts

famInstHead

mkLocalFamInst

mkImportedFamInst

type FamInstEnvs

type FamInstEnv

emptyFamInstEnv

emptyFamInstEnvs

extendFamInstEnv

extendFamInstEnvList

famInstEnvElts

familyInstances

lookupFamInstEnv

lookupFamInstEnvConflicts

topNormaliseType