Struct S
hetseq
pub struct S<N: Num>(_);
Type level +1
impl<N: Num> Num for S<N>
type S = S<S<N>>
Next number
type P = N
Previous number
fn value() -> usize
Convert to value level