StackOverflow 文档 Haskell Language 教程 常见的仿函数作为 cofree comonads 的基础 Cofree 空空 Cofree 空空 Created: November-22, 2018 特定 data Empty a 我们有 data Cofree Empty a -- = a :< ... not possible! Cofree(Const c)作家 c常见的仿函数作为 cofree comonads 的基础