Re: [GHC] #13409: Data types with higher-rank kinds are pretty-printed strangely