Re: [GHC] #9812: Split `SynTyCon` into `SynonymTyCon` and `FamilyTyCon`