Infinite distributive law