Overview of Type Inference in F# | Hacker News Reader