List comprehension


Is it possible to create a list of records with list comprehension?

In Haskell I can do:

[(x, y) | x <- [1,2,3], y <- ['a', 'b', 'c']]

which results in


Is something similar possible in Dhall?


I suppose it could be a feature request! Looks neat in my opinion.


This has been requested before in