I think that is not right, because a fold produces...
# arrow
t
I think that is not right, because a fold produces a "folded" value which can no longer be used as an input to the other fold