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

CoAxioms

mkCoAxBranch

mkBranchedCoAxiom

mkUnbranchedCoAxiom

mkSingleCoAxiom

computeAxiomIncomps

data FamInstMatch

lookupFamInstEnv

lookupFamInstEnvConflicts

isDominatedBy

chooseBranch

topNormaliseType

normaliseType

normaliseTcApp

flattenTys