Re: [GHC] #16024: Kind Signatures on data instances