As I've had the privilege to study under some of the people who have been very deeply involved in Erlang and BEAM development I've heard stories of repeated end

As I've had the privilege to study under some of the people who have been very deeply involved in Erlang and BEAM development I've heard stories of repeated endeavours trying to put type system onto Erlang. None ended up with a satisfactory results. So other ways of handling the situation was developed. That is one of the reasons it got a very good QuickCheck lib for example. On the other hand I would be super happy if this would end up with a nice result. Typed Erlang would be awesome. That is why I am as hopeful for Unison as I am.