You're talking about what is called the newtype pattern in Rust, and the newtype language feature in e.g. Haskell, right?