Unfolding non-empty structures to lists...

RamdaJS reduceBy() in Haskell using recursion-schemes...

Why is unused value produced by catamorphism evaluated?...

How does gpostpro "escape from the monad"?...

Recursion Schemes in Agda...

A library implementation of a recursion scheme...

In what way is Scala's Option fold a catamorphism?...

How do I give a Functor instance to a datatype built for general recursion schemes?...

Haskell cata types...

What is an anamorphism, and how does one look like in C#?...

How to work with AST with Cofree annotation?...

Is there something like cata but where you can match inner structure?...

Are Ana-/Catamorphisms just slower?...

Having an issue extending Data.Functor.Foldable...