@hackage / free-functors

Provides free functors that are adjoint to functors that forget class constraints.

Dependencies