Whenever C has a CommutativeSemigroup/Monoid instance. We should be able to add these in a backwards compatible way, no?
Yes. Adding instances is usually binary compatible in cats. I went through all of the instance definitions to make sure they are abstract classes before the 1.0 release.
it should be pretty similar to the stuff I've looked into recently. I would try it if that's ok
That'd be great thanks!
Resolved by #2204