PS

List monads in String diagrams

圏論 定義 Monad Haskell Enriched

Concatenation

f:id:mbps:20151015033258p:plain

List monad

f:id:mbps:20151015033302p:plain

参考文献