macro_rules! binary_op_impl {
    ($tr:ty, $typ:ty; $($op:ident),+ $(,)?) => { ... };
}