Add more formulations of the monad distributivity laws