You said:

> Rust’s type system and borrow checker are not significant reasons for its compile times

But isn't "hard" monomorphization a property of more complex type systems (generics, type variables, etc.)?