I still need this :-(

I need Semigroup here badly. Unfortunately, the standard library sucks balls, so I won't get it.