macro_rules! impl_tuple_combination {
    ($C:ident $P:ident ; $($X:ident)*) => { ... };
}