List comprehensions, desugared.