Re: [Haskell-cafe] More disciplined alternative to rewrite rules?

The syntactic representation of the program is the most natural to humans, but it is perhaps not the best for simplification.

Maybe so. Please give examples. We use graphs (instead of trees) to express sharing. Do you see sharing (or the lack of expressibility for it) as a problem with GHC rules currently? - J.W.