# Distributive law

## # String diagrams for distributive laws

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.

## # Distributive law monad-comonad

## # Distributive law comonad-monad

## # Distributive law of promonads

See also this note: distributive-laws-of-promonads.pdf Tags: Promonad, Distributive law, Monad, Comonad

*References*