Control.Comonad.Trans.Cofree
data CofreeT f w a
type Cofree f
cofree
runCofree
data CofreeF f a b
class ComonadCofree f w
headF
tailF
coiterT