StackOverflow 文件 Haskell Language 教程 常見的仿函式作為 cofree comonads 的基礎 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 Cofree 身份流Cofree 空空