summarize :: DownloadResult -> DownloadSummary
summarize (DownloadResult path Succeed) = DownloadSummary 0 1 0 []
summarize :: DownloadResult -> DownloadSummary
summarize (DownloadResult path Succeed) = DownloadSummary 0 1 0 []
summarize (DownloadResult path Succeed) = DownloadSummary 0 1 0 []