pub type Node<T, L> = IfZero<L, Nil<T, L>, Cons<T, L>>;
The type of the head node in NList<T, L>.
NList<T, L>
If L is:
L
Zero
Nil<T, L>
PlusOne<_>
Cons<T, L>