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)

又名摩爾機器 。