What I Love about F#'s Type System
coffeebreakcoder.com