A package exposing a function for generating catamorphisms.