distributive law of strong promonads

Tags: promonad, strong monad.