# 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