Type safety is a product feature. We’ll use practical patterns to encode domain rules directly in types.
