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 空空