Macro monoid_fold

macro_rules! monoid_fold {
    ($m:ty) => { ... };
    ($m:ty,) => { ... };
    ($m:ty, $f:expr) => { ... };
    ($m:ty, $f:expr, $($ff:expr),*) => { ... };
}