Catamorphisms and anamorphisms for Divergence functionals - View it on GitHub