Hopefully, it's coming.

https://elixir-lang.org/blog/2023/06/22/type-system-updates-...