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