非決定性プログラミングしたい場合
Lisp系だとambや継続使って解を１つみつけて終了だけど
モナド使うと全ての解を列挙できるってことでいいのかな