FamInst

type FamInstEnvs

tcGetFamInstEnvs

checkFamInstConsistency

tcExtendLocalFamInstEnv

tcLookupFamInst

tcLookupDataFamInst

tcLookupDataFamInst_maybe

tcInstNewTyCon_maybe

tcTopNormaliseNewTypeTF_maybe

newFamInst