free-functors (hackage): Provides free functors that are adjoint to functors that forget class constraints.
Keywords: bsd3|category-theory|data|library|math|generics|haskell