Trait Monoid
monadic::monoid
pub trait Monoid: Semigroup { fn mempty() -> Self; }
fn mempty() -> Self
impl Monoid for String
impl<T: Clone> Monoid for Vec<T>