Giuseppe Castagna is a very well known PL researcher, and very seasoned when it comes to gradual types and "structural" types (the static version of duck-typing), which seems like a great fit for Elixir.
Ah, thanks for that, I was wondering where the details were! Adding this to my pile...