The example is weak but a good thing to look into is https://dconf.org/2017/talks/alexandrescu.pdf https://dconf.org/2017/talks/alexandrescu.pdf i.e. this type

The example is weak but a good thing to look into is https://dconf.org/2017/talks/alexandrescu.pdf https://dconf.org/2017/talks/alexandrescu.pdf i.e. this type of compile time branching (when implemented properly as mentioned above) lets you write code that "reacts" to other code in the project's capabilities. Allows some very nice patterns within a C++ flavoured type system.