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