Can someone do an analysis of stream-fold and stream-fold-right to say whether what the order of arguments in f is?  I am pretty sure the state is called first in stream-fold(-left), but I am uncertain about stream-fold-right.