この資料をSMS送信: Computations in higher types