練習問題 4.5.3

以下の等式はどちらが正しいか．あるいは両方正しいか．

foldl (-) x xs = x - sum xs
foldr (-) x xs = x - sum xs





1つめの等式のみ正しい．