FamInstEnv

data FamInst

data FamFlavor

famInstAxiom

famInstTyCon

famInstRHS

famInstsRepTyCons

famInstRepTyCon_maybe

dataFamInstRepTyCon

pprFamInst

pprFamInsts

mkImportedFamInst

type FamInstEnvs

type FamInstEnv

emptyFamInstEnv

emptyFamInstEnvs

extendFamInstEnv

deleteFromFamInstEnv

extendFamInstEnvList

identicalFamInst

famInstEnvElts

familyInstances

orphNamesOfFamInst

CoAxioms

mkCoAxBranch

mkBranchedCoAxiom

mkUnbranchedCoAxiom

mkSingleCoAxiom

computeAxiomIncomps

data FamInstMatch

lookupFamInstEnv

lookupFamInstEnvConflicts

isDominatedBy

instNewTyConTF_maybe

chooseBranch

topNormaliseType

topNormaliseType_maybe

normaliseType

normaliseTcApp

flattenTys