FamInstEnv
data FamInst
famInstTyCon
famInstTyVars
pprFamInst
pprFamInstHdr
pprFamInsts
famInstHead
mkLocalFamInst
mkImportedFamInst
type FamInstEnvs
type FamInstEnv
emptyFamInstEnv
emptyFamInstEnvs
extendFamInstEnv
extendFamInstEnvList
famInstEnvElts
familyInstances
lookupFamInstEnv
lookupFamInstEnvConflicts
topNormaliseType