No Value Restriction Is Needed for Algebraic Effects and Handlers