Worth mentioning is that GHC's profiling tools are predicated on a knowledge of graph reduction [1].

[1] To get a leg up on graph reduction, I recommend SPJ and PJ/L's Implementing and Implementation texts: first two links on:

http://research.microsoft.com/en-us/um/people/simonpj/Papers/papers.html