Cofree 身份流

特定

data Identity a = Identity a

我们有

data Cofree Identity a
     = a :< Identity (Cofree Identity a)

这是同构的

data Stream a = Stream a (Stream a)