Macro product

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