Re: [GHC] #12550: Inconsistent unicode display for kinds