Printing out Haskell's evaluation (rewriting) steps for educational/learning purposes. Is it possible?

Question

I describe this question by using an example from a book.

In Simon Thompson\'s book \"HASKELL the craft of functional programming\" on page 82 (see images below) are

Answer 1

This is a much-requested and highly useful feature — which, as best as I know, is not available anywhere. :-(