練習問題 4.6.10

使われている2項演算の性質に依存しない版のfold-scan融合則がある．これは以下である．

(foldl1 `oplus`) . scanl otimes e = fst . foldl odot (e,e)
ここで， 
(x,y) `odot` z = (x `oplus` t, t)
（ただし 
t=y `otimes` z
）である． この版のfold-scan融合則を証明せよ．