Macro constant7 

macro_rules! constant7 {
    ($x:expr) => { ... };
}

The constant function with 7 arguments constant7(x) = (_, _, _, _, _, _, _) -> x.