Re: [GHC] #607: Ticky-ticky profiling