Agreed. I just suspect it has similar goals (I've heard it described as "statically typed Erlang" in the past, and addresses concurrency at the type level in ways I suspect MLFE doesn't).
The idea of being able to mix MLFE, LFE and raw Erlang is an exciting proposition. Correctness, genericity, and being statically typed, I could see compiling MLFE into Rust and running it inside BEAM. So much gradual goodness.
