Re: [GHC] #9840: Permit empty closed type families