Trait Monoid
rarrow::classes
pub trait Monoid: Semigroup { fn mempty() -> Self; }
fn mempty() -> Self
impl<A: Semigroup> Monoid for Option<A>