Don't Try This at Home: No-Go Theorems for Distributive Laws

Maaike Zwart, Dan Marsden

Beck's distributive laws provide sufficient conditions under which two monads can be composed, and monads arising from distributive laws have many desirable theoretical properties.…