> It leads to spooky actions at a distance. I'll disagree on "spooky". If the type is ambiguous, the code will fail to compile. Contrapositively, that means th

> It leads to spooky actions at a distance. I'll disagree on "spooky". If the type is ambiguous, the code will fail to compile. Contrapositively, that means that if the code compiles, the types aren't ambiguous. I find bidirectional type inference to be absolutely lovely (or at least Rust's implementation of it), and I wouldn't give it up.