../../Task/Catamorphism/Mathematica