Re: [GHC] #9085: Inaccessible equations in a closed type family should be a warning, not an error