The type system has moved from the research phase to in development: https://elixir-lang.org/blog/2023/06/22/type-system-updates-...