Hello Cafe,<div><br></div><div>left- and rightwards folds come in strict and lazy variants foldl/fold&#39; and foldr/foldr&#39; which makes sense because strict versions sometimes use less stack space while lazy versions support infinite data. For example,</div>

<div><br></div><div>    head (foldr (:) [] [1..])</div><div><br></div><div>returns in an instant while</div><div><br></div><div>    head (foldr&#39; (:) [] [1..])</div><div><br></div><div>diverges. On the other hand</div>

<div><br></div><div>    foldl&#39; (flip (:)) 0 [1..10^9]</div><div><br></div><div>runs in constant space while</div><div><br></div><div>    foldl (flip (:)) 0 [1..10^9]</div><div><br></div><div>consumes all memory available on my machine (at least without optimizations. With optimizations GHC&#39;s strictness analyzer seems to be smart enough to make the accumulator strict.)</div>
<div><br></div><div>Data.Foldable also provides the monoidal fold function foldMap. It is left unspecified whether the elements are accumulated leftwards, rightwards or in some other way, which is possible because the combining function is required to be associative. Does this additional freedom for implementors go so far as to allow for strict accumulation? Is it safe to implement foldMap (without prime) with a strict accumulator or are there examples where lazy accumulation is useful like in the above foldr example and distinguishable from strict accumulation without breaking the monoid laws?</div>
<div><br></div><div>Sebastian</div><div><br></div><div>P.S. I thought the `Last` monoid would be an example that requires a lazy accumulator but it is not because the `Just` constructor guards list elements.</div>