lifting a distributive law

References.

• Distributive Laws (Beck, 1969)

Tags: distributive law.