I agree, the 'microtype' pattern can be a good way of getting the type-checker to catch silly mistakes. In Ada it's standard practice. In C++ you really need a

I agree, the 'microtype' pattern can be a good way of getting the type-checker to catch silly mistakes. In Ada it's standard practice. In C++ you really need a library to do it easily, but there's a good one out there ready to go: https://github.com/foonathan/type_safe/ https://github.com/foonathan/type_safe/