../../Task/Catamorphism/Erlang