> beware of modelling a domain so tightly that you leave some of it unmodelled (cough email-address validation regexes). In many cases the only feasible way to

> beware of modelling a domain so tightly that you leave some of it unmodelled (cough email-address validation regexes). In many cases the only feasible way to model the domain with types is to cut the scope as much as possible.