properly analyze the type of comprehensions ranging over Iterables
parameterized by an Absent type