Trait ValidHead
flatten::cons
pub trait ValidHead { }
Everything except Cons and Nil.
Cons
Nil
impl !ValidHead for Nil
impl<H, T> !ValidHead for Cons<H, T>