[ comments ] Haddockumented CPUTime and its Pretty instance.
[ fix ] Printing to benchmark CPUTime statistics.

Thousands separators in the word CPU,Tim,e are maybe not improving
readability. ;-)