Control.Comonad.Cofree.Class
class
ComonadCofree
f w