Văn bản này: Accompanying material for the article 'no value restriction is needed for algebraic effects and handlers'