Re: [GHC] #9428: Pretty printer bad formatting