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
mkCoAxBranch
mkBranchedCoAxiom
mkUnbranchedCoAxiom
mkSingleCoAxiom
mkNewTypeCoAxiom
data FamInstMatch
lookupFamInstEnv
lookupFamInstEnvConflicts
lookupFamInstEnvByTyCon
isDominatedBy
apartnessCheck
data InjectivityCheckResult
lookupFamInstEnvInjectivityConflicts
injectiveBranches
topNormaliseType
topNormaliseType_maybe
normaliseType
normaliseTcApp
reduceTyFamApp_maybe
flattenTys