unfix-binders (hackage): 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
Keywords: bsd3|data|library