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