macro_rules! wmul_impl {
    ($ty:ty, $wide:ty, $shift:expr) => { ... };
    ($(($ty:ident, $wide:ident),)+, $shift:expr) => { ... };
}