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