pub type N4 = S<N3>;
Type alias for 4.
pub struct N4(pub PhantomData<S<S<S<Z>>>>);
0: PhantomData<S<S<S<Z>>>>