Comment by Nilithus

I believe they have already started this effort. https://elixir-lang.org/blog/2023/06/22/type-system-updates-...