[Haskell-cafe] Type Directed Name Resolution

[Richard O'Keefe]

It has been pointe out that languages like C, Ada, Java, and so on
have type directed name resolution, or something very like it.

True.  But what they don't have is type variables.
This means that when they see foo.bar, they know right away
what the type of foo is, and will never ever get any more
information about that.

It can be hard enough reading Haskell as it is; at least when
I see a function there's one place to look for what it is supposed to mean.