Squeezing More Out of the F# Type System | Hacker News Reader