isImplicitTyCon (SynonymTyCon {})                                   = False
isImplicitTyCon (SynonymTyCon {})                                   = False
isImplicitTyCon (SynonymTyCon {})                                   = False