Use freeVariablesWellScoped from th-abstraction (when available)

dreixel / generic-deriving

BSD 3-Clause "New" or "Revised" License

44 stars 32 forks source link

Use freeVariablesWellScoped from th-abstraction (when available) #56

Closed RyanGlScott closed 5 years ago

RyanGlScott commented 5 years ago

th-abstraction just added a freeVariablesWellScoped function (in master) that completely subsumes generic-deriving's own requiredTyVarsOfTypes function. When a new release of th-abstraction is made, we should scrap requiredTyVarsOfTypes in favor of freeVariablesWellScoped.