#"Composing Monads" http://web.cecs.pdx.edu/~mpj/pubs/RR-1004.pdf の28ページからに Listモナドの合成の話があります。具体例を持っているわけではないですが十分条件だけで必要条件ではないと思います。かといって他に使いやすい十分条件もなさそうな気ガス。 #読書会 #heyhey_haskell の次に読む本は何に決まったんですか? #ステマ
##候補にはTAPL, プログラム意味論、 Implementing functional languages: a tutorial、thinking functionally with haskell, LiquidHaskellのpdfなどが挙げられてました
#