Tipų suderinamumo mitas: priešybės ne visada traukia