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