macro_rules! impl_tuple {
    ($n:expr; $($ty_ident:ident),*; $($var_ident:ident),*) => { ... };
}