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