[Haskell-cafe] showing execution steps

Hi, Is there a way to let ghci (or executable code generated by ghc) show all intermediate rewrite results when an expression is evaluated to its final result? Luc -- __~O -\ <, (*)/ (*) reality goes far beyond imagination