<div dir="ltr">-1<br><br>I&#39;m against adding Semigroup to Base as it only has one useful operation in the class and no useful generic functions (without adding more overhead to Base - non-empty lists, naturals...).<br><div class="gmail_extra">
<br><br></div></div>