[Haskell-cafe] Re: Graphical graph reduction