@hackage unfix-binders0.1.0

Unfixing and recursion schemes for data types with binders

Use fixed-point of endofunctors of endofunctors (that is initial algebras in the category of endofunctors) to define recursion schemes for data types with binders