勉強していて詰まった。

APLだとすべての演算子が右結合だったので、
foldrが簡約演算子'/'を一般化したものだと考えることができた。

でも左結合のfoldlがピンと来ない。

foldl f v [x0,x1,...,xn]=(...((v `f` x0) `f` x1) `f`...) `f` xn

とのことだけど、リストの先頭に空リストがあるわけでもないのに、vがx0より前に現れる。
不思議。