Я не пойму, вы пытаетесь меня убедить, что статический анализ динамически типизрованного языка со слабой типизацией работает так же хорошо, как сильная статическая типизация? :)
В elm нельзя использовать нативные либы, не обернув всё в типы, и всё равно нативные либы не принято использовать - принято коммуницировать с ними через порты, а там типизация не течет