Distributive law between monads
 
x
OK