Can you comment here that `x` is never a Sum, (see my comment above about it being `Either[Product, MatrixLiteral]`) and since it is never a Sum, this call to toTypedPipe does not recurse, and we actually do have all the sums in one groupBy.