この資料をSMS送信: Generic programming for indexed datatypes