Decidable instance for `(Semiring a) => Op a`

[Luka Jacobowitz]

Should be fairly simple to implement lawfully.

[Harry Garrood]

We already have Monoid r => Decidable (Op r); does that cover what you had in mind?

[Luka Jacobowitz]

Yep :)