1. StackOverflow 文档
2. Haskell Language 教程
3. 常见的仿函数作为 cofree comonads 的基础
4. Cofree 空空

Cofree 空空

Created: November-22, 2018

特定

data Empty a

我们有

data Cofree Empty a
   --  = a :< ...  not possible!

• Cofree(Const c)作家 c
• 常见的仿函数作为 cofree comonads 的基础