Re: [Haskell-cafe] 'Associative' order of calling

Hi, Charles Durham wrote:

Is there a name for a fold that promises to call a function such that only an associative function will always return the same result. Or in other words, it has the property that it promises to call a function "associatively" on a set of data?

Semigroup homomorphism? Tillmann