macro_rules! impl_for_tuples {
    () => { ... };
    ($first_arg:ident $(,$rest:ident)*) => { ... };
}