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