Is there a reason cofree comonads do not provide a fold?

[kindaro]

Thanks Chris. I overlooked the support for recursion schemes. I had some worries about rolling out my own folds in production, but now I see that my fears are unfounded and from the practical standpoint these free comonads are production ready.