An ML-inspired statically-typed Erlang - View it on GitHub