preprint: A Basic Distributive Law