Gnerators and Comprehensions