No value restriction is needed for algebraic effects and handlers