Відправити по sms: One Monad to Prove Them All