The addition of types to Elixir could significantly enhance its appeal by improving both performance optimizations and developer productivity. This feature could lower the barrier to entry for developers coming from statically typed languages, potentially enlarging the Elixir community.