pub trait Associative { }
$\forall a,\forall b,\forall c \in T, (a \circ b) \circ c = a \circ (b \circ c)$