case Sum(left, right) =>