[jonathanyc]

I don’t think it’s just “strong” inference that’s the problem; I find I have an easier time reading ML because the inference somehow feels more obvious. After thinking about it some more, I think it really is deref coercion that is the gotcha, especially with function chaining.

[steveklabnik]

By "strong" I really mean "type inference" over "type deduction", to be clear. But yeah, I could see that.