Macro assert_monoid 

macro_rules! assert_monoid {
    ($a:expr, $b: expr, $($tail: expr),*) => { ... };
    ($v:expr) => { ... };
}

Assert that the given type satisfies the monoid property.

Usage

Same to crate::assert_semigroup!.