summarize (DownloadResult path (Failed reason)) = DownloadSummary 0 1 0 [reason]
summarize (DownloadResult path (Failed reason)) = DownloadSummary 0 1 0 [reason]
summarize (DownloadResult path (Failed reason)) = DownloadSummary 0 1 0 [reason]