A good illustration of making illegal states unrepresentable. This definitely helps with code safety.
