"No value restriction is needed for algebraic effects and handlers."

Ohad Kammar, Matija Pretnar (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics