Macro impl_add 

macro_rules! impl_add {
    ($(@($($params:tt)+):)? $l:ty , $r:ty => $o:ty $(where $($bounds:tt)+)?) => { ... };
}