Macro leads_to_always_combine_n_with_equality 

macro_rules! leads_to_always_combine_n_with_equality {
    [$($tail:tt)*] => { ... };
}