Macro always_lift_state_and_equality_n 

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