pub type N7 = Pred<N6>;
The Peano number -7; N7 = Pred<N6>;
N7 = Pred<N6>;
pub struct N7 { /* private fields */ }