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
chooseBranch
topNormaliseType
normaliseType
normaliseTcApp
flattenTys