發送短信: Constructive order types/