FamInstEnv
data FamInst
data FamFlavor
famInstAxiom
famInstTyCon
famInstRHS
famInstsRepTyCons
famInstRepTyCon_maybe
dataFamInstRepTyCon
pprFamInst
pprFamInstHdr
pprFamInsts
mkImportedFamInst
type FamInstEnvs
type FamInstEnv
emptyFamInstEnv
emptyFamInstEnvs
extendFamInstEnv
deleteFromFamInstEnv
extendFamInstEnvList
identicalFamInst
famInstEnvElts
familyInstances
orphNamesOfFamInst
mkCoAxBranch
mkBranchedCoAxiom
mkUnbranchedCoAxiom
mkSingleCoAxiom
computeAxiomIncomps
data FamInstMatch
lookupFamInstEnv
lookupFamInstEnvConflicts
isDominatedBy
instNewTyConTF_maybe
chooseBranch
topNormaliseType
topNormaliseType_maybe
normaliseType
normaliseTcApp
flattenTys