[GHC] #13070: time after evaluation