Macro constant4 

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

The constant function with 4 arguments constant4(x) = (_, _, _, _) -> x.