you jest but F# already does the ocamlness of Rust, no? and you don't need a borrow checker.