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
--