FamInstEnv

data FamInst

famInstTyCon

famInstTyVars

pprFamInst

pprFamInstHdr

pprFamInsts

famInstHead

mkLocalFamInst

mkImportedFamInst

type FamInstEnvs

type FamInstEnv

emptyFamInstEnv

emptyFamInstEnvs

extendFamInstEnv

overwriteFamInstEnv

extendFamInstEnvList

famInstEnvElts

familyInstances

lookupFamInstEnv

lookupFamInstEnvConflicts

lookupFamInstEnvConflicts'

topNormaliseType

normaliseType

normaliseTcApp