#catamorphism generalizes a fold, which can be seen as an optic