Typekompatibilitetsmyte: Motsetninger tiltrekker seg ikke alltid