Archived tweet #11584 from the @leastfixedpoint Twitter Archive

If the coinductive type is branching, does the "left fold" give fork-join parallelism of some kind? Ugh I know so little about coinductive data