[Haskell-cafe] Names for properties of operators

[Neil Brown]

Hi,

Thanks for the replies so far.  If it helps, after I sent my post, I 
spotted a couple of arithmetic examples:

Neil Brown wrote:
> 2: (a % b) % c = (a % c) % b
Division (on rationals) obeys this property (a / b) / c = (a / c) / b -- 
which is actually equal to a / (b * c), but that doesn't matter for my 
property.
> 4: (a % b) ~ c = (a ~ c) % b
Division and multiplication on rationals obey this property: (a / b) * c 
= (a * c) / b.

Thanks,

Neil.