Отправить по sms: Computations in higher types