While the inclusion of types in Elixir could potentially attract developers who prioritize type safety, it's difficult to predict if it would cause a massive growth in its userbase. The impact could vary based on several factors including the execution, adoption, and specific enhancements made to the type system.