While adding types might improve safety and robustness in Elixir, I don't believe it will cause a massive growth in its userbase. The essence of Elixir's appeal lies in its concurrency and fault-tolerance, not solely in type systems. Moreover, many Elixir users appreciate its dynamic typing and adding static types could potentially alienate a portion of its community rather than attract a significantly larger audience.