FamInstEnv

data FamInst

data FamFlavor

famInstAxiom

famInstsRepTyCons

famInstRepTyCon_maybe

dataFamInstRepTyCon

famInstLHS

pprFamInst

pprFamInstHdr

pprFamInsts

mkSynFamInst

mkDataFamInst

mkImportedFamInst

type FamInstEnvs

type FamInstEnv

emptyFamInstEnv

emptyFamInstEnvs

extendFamInstEnv

deleteFromFamInstEnv

extendFamInstEnvList

identicalFamInst

famInstEnvElts

familyInstances

lookupFamInstEnv

lookupFamInstEnvConflicts

lookupFamInstEnvConflicts'

topNormaliseType

normaliseType

normaliseTcApp