@hackage / free-functors

Free functors, adjoint to functors that forget class constraints.