أرسل هذا في رسالة قصيرة: Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'