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.