Pandora.Pattern.Object.Ring
class Group a => Ring a Source #
When providing a new instance, you should ensure it satisfies: * Commutativity of addition: x + y ≡ y + x