この資料をSMS送信: One Monad to Prove Them All