Avoiding tons of complexity in the compiler is just one of the reasons why Hare doesn't have generics, and a borrow checker may be a sufficiently compelling rea

Avoiding tons of complexity in the compiler is just one of the reasons why Hare doesn't have generics, and a borrow checker may be a sufficiently compelling reason to introduce some of the that, while generics themselves are not.