Re: [GHC] #15764: GHC panic from PolyKinds + DataKinds