この資料をSMS送信: A Functional Implementation of the Formal Template Language