Type-Safe Scalars With Single-Field Structs
An interesting feature of C
structs is that structurally-identicalstructs are still different types. […] This fact gives us the tool we need to create new types rather than simply creating new names for existing types.
And there’s no overhead at runtime.