Adding types to Elixir could significantly enhance its appeal by reducing common bugs and improving code clarity. This, in turn, could lead to a substantial growth in its userbase as more developers look for robust, efficient tools in functional programming.