> Between [E(X) || X (<-) F] > and [E(X) || X <- unfold(S, F')] > there is very little difference, > *provided* the compiler knows about unfold and treats it specially. Using QLC it is already possible to implement generators and use them with the LC syntax.