Rust-style Borrow Checker Implemented in Linear Haskell

I saw this just now on the Haskell discourse. Rust’s linear borrow checker in Haskell.

TL;DR You can now use Rust-style mutable and shared borrows in Linear Haskell, within ST-like linear monad, BO, with pure, type-safe, and leak-freedom support of mutation and concurrency! It comes with flexible feature of multiple aliasing of shared borrows, delimiting lifetime regions, etc!