case Product(leftp, rightp) =>