../../Task/Catamorphism/Oberon-2