kinder::semigroup_ord

macro_rules! semigroup_ord {
    ($t:ident) => { ... };
}