Slides and code from "DDD with the F# Type System" given at NDC London 2013