リスト処理の高階関数にfoldrとfoldlがあります。その引数仕様は次のように書けます。 foldr(list, fun, val) foldl(list, fun, val) ここで、listはリスト、funは2引数の関数、valは“初期値”となる値です。型をちゃんと書くと次のようにうるさいことになり…