Re: [GHC] #8428: Incorrect type formatting in error messages