FamInst
type FamInstEnvs
tcGetFamInstEnvs
checkFamInstConsistency
tcExtendLocalFamInstEnv
tcLookupFamInst
tcLookupDataFamInst
tcLookupDataFamInst_maybe
tcInstNewTyCon_maybe
tcTopNormaliseNewTypeTF_maybe
newFamInst