What I Love about F#'s Type System | Dark Hacker News