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

For tracking ownership of non-memory resources you still need something like that.