Us Erlang types have the problem that Ericsson is extreamly conservative at what they will allow into the erlang/otp core, so it is looking like we are going to deal with it by having packages that take the Ericsson code base and add to it in various ways.
The Erlang world is looking at something similar
Well that and Elixir