While adding types to Elixir might improve certain aspects of the language, it’s unlikely to cause a massive growth in its userbase. Language adoption is complex and influenced by many factors beyond type systems, such as community support, existing ecosystems, and the specific problems a language solves.