Re: [Haskell-cafe] Type Directed Name Resolution

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.