Arrow: Ensure all instances of `Semigroup` and `Monoid` are tested with laws

[raulraja]

Laws available since:
https://github.com/kategory/kategory/pull/451

[Cotel]

I can take care of this 💪

[pakoito]

The task is now up for grabs! #463 already has a bunch of the required code, if anyone'd like to take a look.

[richard-gibson]

Happy to take this

[pakoito]

Please do ;_____;

[devesh-shetty]

Seems like this is still available, I'm taking this over 😉

[devesh-shetty]

@pakoito good to close this now?

[pakoito]

Yay! Also fixes https://github.com/arrow-kt/arrow/issues/1717

[devesh-shetty]

Fixed with https://github.com/arrow-kt/arrow/pull/1705