Re: [GHC] #13327: Figure out how to make sense of Data instances for poly-kinded datatypes