kinder::monoid_num

macro_rules! monoid_num {
    ($t:ident, $z:expr) => { ... };
}