Hello, everyone.

Eager comprehensions are defined in srfi-42, and I find them similar to the ∀ quantifier. It seems very natural to plug the ranges into the variables over which comprehensions run.

It that is not possible, perhaps linking these two srfis could be mentioned as a possible future extension?

--