Re: [GHC] #13070: time after evaluation