. . . "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." . .