Applicativeは条件分岐ができない
↑この表現はノイズが多い
正確には、
Applicativeは全ての引数が独立に計算される
Monadを使えばできる
https://qiita.com/lex_naturalis/items/692701334d8b9650c26d
https://kazu-yamamoto.hatenablog.jp/entry/20150128/1422413182