Talk on folds & unfolds (and combinations) for general algebraic data types