Glad to see the team effort into the type system with "As we get Elixir v1.16 out of door, the Elixir team will focus on bringing the initial core for set-theoretic types into the Elixir compiler, with the goal of running automated analysis in patterns and guards."

Very excited about the future for Elixir!