verbal distributive law

Tags: distributive law, verbal category, verbal commutative monad, verbal operadic monad.