StackOverflow 文档 Haskell Language 教程 常见的仿函数作为 cofree comonads 的基础 常见的仿函数作为 cofree comonads 的基础 Cofree 空空 Cofree(Const c)作家 c Cofree 身份流 Cofree 也许是非空的 Cofree（作家 w）WriterT w Stream Cofree(E e)NonEmptyT（作家 e） Cofree（读者 x）摩尔 x Cofree 空空