macro_rules! mul_add_impl {
    ($trait_name:ident for $($t:ty)*) => { ... };
}