generated at
Logicモナド
Listモナドの一般化

http://halcat.org/haskell/logic/index.html
https://qiita.com/fumieval/items/794a85e2d7497b2463ba