foldr の定義