This is already possible even in vanilla C: Friday Q&A 2013-08-02: Type-Safe Scalars with Single-Field Structs https://mikeash.com/pyblog/friday-qa-2013-08-02

This is already possible even in vanilla C: Friday Q&A 2013-08-02: Type-Safe Scalars with Single-Field Structs https://mikeash.com/pyblog/friday-qa-2013-08-02-type-safe-scalars-with-single-field-structs.html https://mikeash.com/pyblog/friday-qa-2013-08-02-type-safe-sc...