Simon Peyton Jones how GHC type inference engine works [video] | Hacker News Reader