#[derive(Monoid)]