Overview of Type Inference in F# | Dark Hacker News