pandora-0.3.2: A box of patterns and paradigms
When providing a new instance, you should ensure it satisfies one law:
* Associativity: x * (y * z) ≡ (x * y) * z