[Ono-Sendai]

The problem is not so much if the compiler will catch it, but how to lay out the new code/types in an editor, hopefully all in one place or accessible from one place.

C++ will catch a missing combination at compile time as well.

[ICWiener]

Note that the given example has only one place where all combinations are defined. Not sure if this could be done in C++.