この資料をSMS送信: Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'