And is in fact how Rust represents Option<T>. There's also a trait, http://doc.rust-lang.org/stable/core/nonzero/struct.NonZero.... , which can be used to ensure a structure you build also has said representation.