Control.Comonad.Cofree
type Cofree f
class ComonadCofree f w
class RunComonadCofree f w