generated at
モナドの分配則
自然変換d:T\circ S\to S\circ T
S,Tはモナド
モナドの組み合わせができる

https://en.wikipedia.org/wiki/Distributive_law_between_monads