この資料をSMS送信: The role of type equality in meta-programming