Mýtus o kompatibilite typov: Protiklady sa nie vždy priťahujú