モナドの分配則
自然変換
$ d:T\circ S\to S\circ T
$ S,T
はモナド
モナドの組み合わせができる
https://en.wikipedia.org/wiki/Distributive_law_between_monads