Comment by g_delgado14

Isn't the "newtype" pattern something that addresses this issue elegantly?

Is there something that I'm missing here?