Logicモナド
Listモナド
の一般化
http://halcat.org/haskell/logic/index.html
https://qiita.com/fumieval/items/794a85e2d7497b2463ba