Tüüpide ühilduvuse müüt: vastandid ei tõmba alati ligi