[Haskell-cafe] 'Associative' order of calling

[Tillmann Rendel]

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