Distributive laws for the coinductive solution of recursive equations