Move Functor[S] constraint on Cofree out of structure, onto functions.