The compiler infers, but does not take instructions. There is no syntax for explicit type declarations yet, and the new type ...
The compiler is happy, the variants are crisp, the illegal states are impossible to create. Now where do you put this? The principle at work is the object relational impedance mismatch. In my latest ...