# distributive law

- string diagrams for distributive laws
- distributive law monad-comonad
- distributive law comonad-monad
- distributive law of promonads

*Proposition.* Assume we find two monads whose composition is a monad. If the multiplication and unit of the composite monad come from a candidate distributive law, then that candidate is indeed a distributive law.

Tags: promonad, distributive law, Monad, Comonad

*References*