Macro impl_binop 

macro_rules! impl_binop {
    (impl<$T:ident> $Trait:ident $impl:ident for $t:ty) => { ... };
}