Provides free functors that are adjoint to functors that forget class constraints. - View it on GitHub