hmm.. I agree, (1) definitely is a common pattern, and it is often annoying to write a separate function just to do the lazy iteration. Also really needed: cod

hmm.. I agree, (1) definitely is a common pattern, and it is often annoying to write a separate function just to do the lazy iteration. Also really needed: code contracts within delegates. You can write them now, but the tool can't recognize them yet.