[Haskell-cafe] Type Directed Name Resolution

[Stephen Tetley]

Qualification is hardly verbose, idiomatically it tends to be two characters.

Qualification even with two chars is typographically ugly for infix functions.

Typographically, qualification is beyond the pale for infix _type
constructors_. It makes them very ugly and for many people type
signatures are the most import part of source code at least for
comprehension. Fortunately there aren't many uses if infix type
constructors in the wild.

TNDR is perhaps a marginal improvement on the first. It might be a
significant improvement on the second. It doesn't appear to offer
anything for the third.

For my two cents, TDNR seems like a use of development effort and
possibly more crucially syntax that could be spent more profitably
elsewhere.