Use foldr.