]> violates [ VC: No Duplicate Types ]