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