Drastic Prelude changes imminent

[Roman Cheplyaka]

On 01/02/15 22:56, Edward Kmett wrote:
>     sum = getSum . foldMap sum
> 
>     is the implementation that ensures that it doesn't destroy the
>     asymptotics of the number of uses of 'mappend' in foldMap.
> 
>     The right container can readily fold 2^20th a's with 20 mappends.

Fold 2^20 *arbitrary* a's? What kind of container is that?

Roman