Enum Z
hetseq
pub enum Z {}
Type level zero value
impl Num for Z
type S = S<Z>
Next number
type P = P<Z>
Previous number
fn value() -> usize
Convert to value level