foldr2
