An attempt to rewrite ERTS (runtime) and Erlang BEAM virtual machine in clean, statically typed and functional Rust.