-1

I'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...).