Louis J Scoras wrote:

>The above would best be expressed something like this (Iike I said, it's
>been a while, so the parameter order might be wrong):
>
>foldr + 0 list
>  
>
Well, foldr is defined recursively in Prelude.hs:

foldr            :: (a -> b -> b) -> b -> [a] -> b
foldr f z []      = z
foldr f z (x:xs)  = f x (foldr f z xs)

BTW, it's

foldr (+) 0 list

-- 
Florian Frank