The addition of types to Elixir could significantly enhance its adoption. Type systems improve code safety and maintainability, which are critical for large applications and could attract more developers from different programming environments looking for robust solutions.