Re: [GHC] #8357: Pretty printing of kind-involving inferred types