foldr f (head xs) xs is not the same as foldr1 f xs

[Tomasz Zielonka]

On Sun, May 08, 2005 at 08:14:30PM +0200, David Sabel wrote:
> Hi!
>
> Subject: foldr f (head xs) xs  is not the same as foldr1 f xs

I think you forgot about tail: 

foldr f (head xs) (tail xs)

Best regards
Tomasz