Αποστολή με SMS: Computations in higher types