FamInstEnv
data FamInst
data FamFlavor
famInstAxiom
famInstsRepTyCons
famInstRepTyCon_maybe
dataFamInstRepTyCon
famInstLHS
pprFamInst
pprFamInstHdr
pprFamInsts
mkSynFamInst
mkDataFamInst
mkImportedFamInst
type FamInstEnvs
type FamInstEnv
emptyFamInstEnv
emptyFamInstEnvs
extendFamInstEnv
deleteFromFamInstEnv
extendFamInstEnvList
identicalFamInst
famInstEnvElts
familyInstances
lookupFamInstEnv
lookupFamInstEnvConflicts
lookupFamInstEnvConflicts'
topNormaliseType
normaliseType
normaliseTcApp