The Newtype Pattern with Generics

Wrap primitive types in generic containers to enforce domain-specific type safety.