isImplicitTyCon (AlgTyCon { algTcParent = AssocFamilyTyCon {} })    = True
isImplicitTyCon (AlgTyCon { algTcParent = AssocFamilyTyCon {} })    = True
isImplicitTyCon (AlgTyCon { algTcParent = AssocFamilyTyCon {} })    = True