Archived tweet #11582 from the @leastfixedpoint Twitter Archive

*exploding brain gif* right fold is the natural fold for inductive data left fold is the natural fold for coinductive data whooooa