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?...

How to make catamorphisms work with parameterized/indexed types?...

Is it possible to make GHC optimize (deforest) generic functions such as catamorphisms?...

What's the relation of fold on Option, Either etc and fold on Traversable?...

beginner implementation of Catamorphism for non binary trees versus the Composite Design Pattern...

Catamorphism and tree-traversing in Haskell...

Scala type inference question...