@hackage / unfix-binders

Unfixing and recursion schemes for data types with binders