Interesting point. We could say then that it's a special case of the principle that illegal states should be unrepresentable. [0]

[0] https://fsharpforfunandprofit.com/posts/designing-with-types...