🏷 A wrapper type for safer, expressive code.
🎁 A compile-time guarantee that a collection contains a value.