Struct P
hetseq
pub struct P<N: Num>(_);
impl<N: Num> Num for P<N>
type S = N
type P = P<P<N>>
fn value() -> usize