pub type N7 = S<N6>;
Type alias for 7.
pub struct N7(pub PhantomData<S<S<S<S<S<S<Z>>>>>>>);
0: PhantomData<S<S<S<S<S<S<Z>>>>>>>