Typekompatibilitetsmyte: Modsætninger tiltrækker ikke altid