Macro product_pat

macro_rules! product_pat {
    ($H:pat) => { ... };
    ($H:pat, $($T:pat),*) => { ... };
}