Re: [GHC] #8953: Reification drops necessary kind annotations