Moved to uoi100's version foldr