remain. Compile-time checks that an enum or match is written in sorted order