This book is a very clear introduction to domain modelling and functional type systems, and indeed F#. The whole book uses a single, large worked example, and this provides good continuity through the various phases of requirements specification, design and implementation. The only problem I have with the book's approach is that tests / examples aren't used in specifying the application's behaviour; I would have liked to see the author exploring the relationship between type specifications and TDD.