Pandora.Pattern.Object.Ring

Documentation

class Group a => Ring a

When providing a new instance, you should ensure it satisfies the one law:
* Commutativity of addition: x + y ≡ y + x