Chapter 7: Experiments with GHC's Optimiser. - Németh, László (Trends in Functional Programming Volume 5, 2006)