2016-01-12 Cofree comonads in String diagrams 圏論 Comonad Haskell String diagram Cofree comonad Data *1 Implementations 再帰的に定義する(合わせ鏡のように)。 Functions 参考文献 Control.Comonad.Cofree *1:iso は真四角にした