Description
A Haskell library for fixpoint data types. Fixpoints let recursive structures be expressed in reusable ways, which is useful for abstract syntax trees, interpreters, and generic recursion schemes.
Developers use it in advanced functional programming when recursion structure should be separated from the data's own fields. The pattern is powerful, but it should be documented so maintainers understand the recursion model.