These things are sometimes useful in writing compilers though, but then the transformations are more elaborate.
Reply on news.ycombinator.com