https://b.hatena.ne.jp/entry/s/github.com/pelotom/effectful If we want to rationalize the notational impact of all these structures, perhaps we should try to recycle the notation we already possess. - McBride, Paterson, Applicative programming with effects ... https://b.hatena.ne.jp/nabinno/20150909#bookmark-265314236 2015-09-08T17:22:48Z github https://b.hatena.ne.jp/igrep/20150908#bookmark-265314236 “A syntax for type-safe effectful computations in Scala” 2015-09-08T06:28:25Z scala Monad