update: foldr