🎁 A compile-time guarantee that a collection contains a value. - View it on GitHub