isImplicitTyCon (AlgTyCon {})                                       = False
isImplicitTyCon (AlgTyCon {})                                       = False
isImplicitTyCon (AlgTyCon {})                                       = False