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

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-making-illegal-states-unrepresentable/ https://fsharpforfunandprofit.com/posts/designing-with-types...