#[derive(Semigroup)]