distributive laws from composite monads

Tags: distributive law.