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