1. StackOverflow 文件
  2. Haskell Language 教程
  3. 常見的仿函式作為 cofree comonads 的基礎
  4. Cofree(Const c)作家 c

Cofree(Const c)作家 c

Created: November-22, 2018

特定

data Const c a = Const c

我們有

data Cofree (Const c) a
     = a :< Const c

這是同構的

data Writer c a = Writer c a