macro_rules! constant8 { ($x:expr) => { ... }; }
The constant function with 8 arguments constant8(x) = (_, _, _, _, _, _, _, _) -> x.