發送短信: Monadic decomposabily of regular relations