> Rust uses Hindley-Milner to infer types in general

True, I had forgotten that you can just write let foo = bar. (Not a regular Rust user.)