With exercises from Runar
improved printing of QuickCheck output