Macro impl_zero_one 

macro_rules! impl_zero_one {
    ($({$Trait:ident $method:ident $($t:ty)*, $e:expr})*) => { ... };
}