Simon Peyton Jones on how GHC type inference engine actually works


#1