We [already got](https://github.com/scalaz/scalaz/blob/v7.0.0/core/src/main/scala/scalaz/Semigroup.scala#L89-L99) those. I think I'll add your test cases, though.