Re: [GHC] #12030: GHCi Proposal: Display (Data.Kind.)Type instead of *