@hackage free-foil0.0.2

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads)

free-foil

Efficient Type-Safe Capture-Avoiding Substitution for Free (Scoped Monads).