This looks great, but needs some interpretation, like an accompanying talk. I got lost in box-and-line diagrams which I did not know how to interpret.

An introduction to GHC which I found helpful is its AOSA chapter: http://www.aosabook.org/en/ghc.html