Cofree（读者 x）摩尔 x

特定

data Reader x a = Reader (x -> a)

我们有

data Cofree (Reader x) a
     = a :< (x -> Cofree (Reader x) a)

这是同构的

data Plant x a
     = Plant a (x -> Plant x a)

又名摩尔机器 。