. "This generalises the familiar notion of list comprehension =-=[Wad87]-=-, due originally to Burstall and Darlington, and found in KRC [Tur82], Miranda, Haskell and other languages." . . . .