Simon Peyton Jones on how GHC type inference engine actually works

[jaspervdj]