I would replace this with something that isn't nonsensical, like `Basic((x, y), z)`.