This is one of my favorite optimizations. It is excellent argument in favor of purity restrictions, too. I didn't know there was a way to instrument the compiler---neat!