Ideally, some lisp would have one (or hopefully something simpler/more ergonomic) to eliminate data races, like the rust one does.

The rust borrow checker also eliminates memory allocation bugs, but that’s less interesting to me.