Archived tweet #11583 from the @leastfixedpoint Twitter Archive

so "right fold" is a homomorphism and "left fold" is a stateful transducer consuming a stream, in the case of lists ... hmm. need to look at analogues of "left fold" for non-list data types!