Cofree functor