Re: [GHC] #8884: Reifying closed type families is broken