Interesting choice of terminology to quibble – why not go further and ask whether we need any type system at all?
See the other recent thread about perspective on Rust / Kotlin / Scala developers and whether they would be compelled to switch. https://elixirforum.com/t/do-you-think-the-new-type-system-would-be-enough-to-attract-folks-that-are-also-interested-in-ocaml-haskell-and-scala
The direction that’s being advocating in this post is focused on building great language ergonomics and compiler trust, and the downstream effect is ultimately more elixir adoption, instead of continuing to be confined as a niche language