Generalized folds, unfolds, and traversals for fixed point data structures - View it on GitHub