Kill the Semigroup instances with fire

They don't make any sense at all, and when on-boarding @Ericson2314 and @abooij , both wondered what the right way to implement the semigroup instance was (there isn't a right way.) Can we get rid of it? I guess there is some code that uses it to merge sections together (conditionals maybe)? Can we find another way of managing this behavior?