`SemigroupK` is missing its documentation, not imp...

# arrow-contributors

[rcd27]

SemigroupK is missing its documentation, not implemented (https://arrow-kt.io/docs/arrow/typeclasses/semigroupk/). Probably (this one)[https://typelevel.org/cats/api/cats/SemigroupK.html] from Cats is fine.