Category:Examples of Use of Distributive Laws