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