pub trait Semigroup<S = Self, T = Additive>: Magma<S, T> + Associative<S, T> { }

Implementors