Type Driven Domain Modelling, Part 3: One More Spec Change with F# | Hacker News Reader