We're well aware of the relationship between borrow checking and generics in Rust and, though it may rule it out for Hare, I do not think that we need generics

We're well aware of the relationship between borrow checking and generics in Rust and, though it may rule it out for Hare, I do not think that we need generics or anything like it to obtain most of the value-add of a borrow checker.