Cofree 身份流

特定

data Identity a = Identity a

我們有

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

這是同構的

data Stream a = Stream a (Stream a)