2015-10-29 Free monads in String diagrams 圏論 定義 Monad Haskell (・・・というのは少し嘘かもしれない) Catamorphisms Free monad - PS の より・・・ Free monad 参考文献 Haskell for all: Why free monads matter Control.Monad.Free