Http.koh has no finished folds yet