2015-10-12 Writer monads in String diagrams 圏論 定義 Monad Enriched Haskell Writer monad 参考文献 All About Monads - HaskellWiki