Cofree型

code:hs

data Cofree f a = Cofree a (f (Cofree f a))