Re: [GHC] #8811: Profiling output jumbled together