No value restriction is needed for algebraic effects and handlers

KAMMAR, OHAD, PRETNAR, MATIJA·2017·Journal of Functional Programming