We've used Elixir at our company for several years. Overall I've loved it, but I hope some experiments are done with a type system. (I don't find dialyser that

We've used Elixir at our company for several years. Overall I've loved it, but I hope some experiments are done with a type system. (I don't find dialyser that strong in terms of performance and code editor help.) I think Typescript would serve as good inspiration because (1) it's a type system for a dynamic language underneath (javascript) and (2) it uses structural typing which fits well with pattern matching.