Macro Product

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