Add monad distributivity laws