It is not a goal of the type system at the moment, as we will focus on software correctness and developer experience.

However, keep in mind the Erlang VM already uses typing information (from patterns, guards, and built-in functions) to optimize code through its JIT compiler.