This package is a playground full of comonadic folds. This style of fold is documented in "Cellular Automata, Part II: PNGs and Moore" This package can be seen as what happens if you chase Max Rabkin's "Beautiful Folding" to its logical conclusion. More information on this approach can be found in the "Another lovely example of type class morphisms" and "More beautiful fold zipping" posts by Conal Elliott, as well as in Gabriel Gonzales' "Composable Streaming Folds"