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
|[(1,'a'),(1,'b'),(1,'c'),(2,'a'),(2,'b'),(2,'c'),(3,'a'),(3,'b'),(3,'c')]
Is something similar possible in Dhall?