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 的基礎