Foldr version without argument added