../../Task/Catamorphism/Bracmat