implement @showprogress for typed comprehensions