Class types are generative. That's why p.V != q.V.