유형 호환성에 대한 오해: 반대되는 것이 항상 매력적이지는 않습니다