A Language Feature to Rule Them All (Algebraic Effects)